TY  - BOOK
AU  - Макаллистер,Дж
AU  - Сергиевский,Максим Владимирович
TI  - Искусственный интеллект и Пролог на микроЭВМ
SN  - 521700973X
PY  - 1990///
CY  - Москва
PB  - Машиностроение
KW  - логическое программирование
KW  - rurkp
KW  - Программирования языки
KW  - искусственный интеллект
KW  - Пролог, язык логического программирования
KW  - базы данных
KW  - базы знаний
KW  - СУБД
KW  - экспертные системы
KW  - логика высказываний
KW  - булева алгебра
N1  - Библиогр.: с. 237
ER  -