TY  - BOOK
ED  - Всесоюзная конференция "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование" Паланга 3-5 сентября 1980 г.
TI  - Всесоюзная конференция "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование", Паланга, 3-5 сениября 1980 г. ; Тезисы докладов и сообщений Ч. 1
PY  - 1980///
CY  - Вильнюс
PB  - Ин-та математики и кибернетики АН Литовской ССР
KW  - Систематическое программирование
ER  -