01025nam a2200217 i 4500
RU\SPSTU\books\122232
Ge_NSL
20160624105101.0
011126s1980 ru rus u
rus
510.6(063)
Всесоюзная конференция "Методы математической логики в проблемах искусственного интелекта и систематическое программирование" :
Тезисы докладов и сообщений. Паланга 3-5 сентября 1980 г. Ч.2.
Вильнюс :
1980.
Ин-т математики и кибернетики АН Лит. ССР,
270 с.
Библиогр. в конце статей
მათემატიკა
მათემატიკური ლოგიკა
კონფერენციები
udc
BK
0
4
udc
0
0
CPL
CPL
GEN
2016-06-24
0
510.6(063)
2016-26329
2016-06-24 00:00:00
2R570352
2016-06-24
BK
64548
64548