Approche Logique de l'Intelligence Artificielle 1 de la Logique Classique a la Programmation Logique
Тейз, Андре, Грибомон, Паскаль, Луи, Жорж, Снийерс, Д.
Логический подход к искусственному интеллекту. От классической логики к логическому программированию, [Текст], [монография], пер. с фр. П. П. Пермякова ; под ред. Г. П. Гаврилова
Москва :
Мир ,
1990 .-
429 с. .-
ил.