TY  - BOOK
AU  - Тейз,Андре
AU  - Грибомон,Паскаль
AU  - Луи,Ж.
AU  - Гаврилов,Гарий Петрович
TI  - Логический подход к искусственному интеллекту: От классической логики к логическому программированию
SN  - 5030016368
PY  - 1990///
CY  - М.
PB  - Мир
KW  - математическая логика
KW  - rurkp
KW  - искусственный интеллект
KW  - логическое программирование
KW  - логический вывод (искусственный интеллект)
KW  - представление знаний (искусственный интеллект)
KW  - грамматики формальные
KW  - Пролог
KW  - аксиоматические системы
KW  - Хомского иерархия
KW  - логики немонотонные
KW  - логики автоэпистемистические
KW  - логики умолчаний
KW  - рассуждения (искусственный интеллект) модифицируемые
KW  - исчисление высказываний
KW  - исчисление предикатов
KW  - рассуждения (искусственный интеллект)
KW  - контекстно-свободные грамматики
N1  - Авт. указаны на обороте тит. л; Библиогр.: с. 411-417 (115 назв.); Предм. указ.: с. 418-423
ER  -