TY  - BOOK
AU  - Ковальски,Роберт
AU  - Осмоловский,Л.Г.
AU  - Поспелов,Дмитрий Александрович
TI  - Логика в решении проблем
T2  - Проблемы искусств. интеллекта
SN  - 5020141488 (В пер.)
PY  - 1990///
CY  - Москва
PB  - Наука
KW  - Логическое программирование
KW  - ლოგიკური პროგრამირება
N1  - Указ. имен. и предм.: с. 272-278; Библиогр.: с. 263-271
ER  -