TY  - BOOK
AU  - Тейз,Андре
AU  - Грибомон,Паскаль
AU  - Луи,Жорж
AU  - Пермяков,П.П.
AU  - Гаврилов,Гарий Петрович
TI  - Логический подход к искусственному интеллекту: От классической логики к логическому программированию 
SN  - 5030016368
PY  - 1990///
CY  - Москва
PB  - Мир
KW  - Искусственный интеллект
KW  - Логическое программирование
KW  - Информатика
KW  - Математическая логика
N1  - Авт. указаны на обороте тит. л; Библиогр. 115 назв
N2  - [ Монография специалистов, излагающая проблемы и методы искусственного интеллекта с точки зрения математической логики состоит из шести глав. Для понимания материалов от читателя требуется только знание основ информатики ]
ER  -