Логический подход к искусственному интеллекту : От классической логики к логическому программированию / [А. Тейз, П. Грибомон, Ж. Луи и др.] ; Пер. с франц. П.П. Пермякова ; Под ред. Г.П. Гаврилова.

Авт. указаны на обороте тит. л.

Библиогр. 115 назв.

[ Монография специалистов, излагающая проблемы и методы искусственного интеллекта с точки зрения математической логики состоит из шести глав. Для понимания материалов от читателя требуется только знание основ информатики ].