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