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