Ваш поиск - «Методы математической логики в проблемах искусственного интеллекта и систематическое программирование», всесоюзная конф. Паланга. 1980 - не найдены соответствующие документы.