Электронный каталог - Electronic Catalogue

Книга
510.6 П76

Применение методов математической логики. Секция "Представление знаний и синтез программ" = тезисы докладов IV всесоюзной конференции / ред. Г. Е. Минц, П. П. Лорентс . – Таллин : АН Эстонской ССР, 1986 . – 202 с. – На рус. яз.

510.6

Общий = Математическая логика
Коллекции = Математическая библиотека