Электронный каталог НБ БНТУ

Многотомник

Применение методов математической логики, всесоюзная конференция (4 ; 1986 ; Таллин).
IV Всесоюзная конференция "Применение методов математической логики": тезисы докладов / Применение методов математической логики, всесоюзная конференция (4 ; 1986 ; Таллин); под ред. Г.Е. Минц, П.П. Лорентс. – Таллинн: АН ЭССР, 1986. - В надзаг.: Институт кибернетики Академии наук Эстонской ССР.
Книга
51 П76

Секция "Представление знаний и синтез программ" / под ред. Г.Е. Минц, П.П. Лорентс. – 1986. – 202 с. - .: 1.45.

510.6-7(043.2)

общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА