TY  - BOOK
AU  - Тей А.
AU  - Грибомон П.
AU  - Луи Ж.
AU  - Снийерс Д.
AU  - Водон П.
AU  - Гоше П.
AU  - Грегуар Э.
AU  - Санчес Э.
AU  - Дельсарт Ф.
AU  - Пермяков П.П.
AU  - Гаврилов Г.П.
TI  - Логический подход к искусственному интеллекту: от классической логики к логическому программированию 
SN  - 5030016368
PY  - 1990///
CY  - М.
PB  - Мир
KW  - Математическая логика
KW  - Искусственный интеллект
KW  - ხელოვნური ინტელექტი
KW  - მათემატიკური ლოგიკა
KW  - ლოგიკური პროგრამირება
N1  - Авт. указаны на обороте тит. л; Доп. тит. л. на фр. яз; Библиогр.: с. 411-417
N2  - Монография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с точки зрения математической логики. Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждении, логика и модифицируемые рассуждения, формальные грамматики и логическое программирование, Пролог и логическое программирование. Книга построена так, что для понимания материала от читателя требуется только знание основ информатики. Для всех изучающих и использующих методы искусственного интеллекта и логического программирования
ER  -