“…Всесоюзная конференция "Методы математической логики в проблемах искусственного интеллекта и…”