517.11(063)
П764 2	Применение методов математической логики [Текст]. Секция "Представление знаний и синтез программ" : тез. докладов IV всесоюз. конф. / АН ЭстССР, Ин-т кибернетики ; [под ред. Г. Е. Минца и П. П. Лорентса]. — Таллин : [б. и.], 1986. — 202 с.