Всесоюзная конференция "Методы математической логики в проблемах искусственного интелекта и систематическое программирование" :
Всесоюзная конференция "Методы математической логики в проблемах искусственного интелекта и систематическое программирование" : Тезисы докладов и сообщений. Паланга 3-5 сентября 1980 г. Ч.2.
- Вильнюс : Ин-т математики и кибернетики АН Лит. ССР, 1980.
- 270 с.
Библиогр. в конце статей
მათემატიკა მათემატიკური ლოგიკა კონფერენციები
510.6(063)
Библиогр. в конце статей
მათემატიკა მათემატიკური ლოგიკა კონფერენციები
510.6(063)