Логический подход к искусственному интеллекту :  От классической логики к логическому программированию / 
[А. Тейз, П. Грибомон, Ж. Луи и др.] ; Пер. с франц. П.П. Пермякова ; Под ред. Г.П. Гаврилова. 
 - Москва :  Мир,  1990. 
 - 429 с. :  ил. ;  21 см. 
<br/><br/> Авт. указаны на обороте тит. л. 
<br/><br/>Библиогр. 115 назв. 
<br/><br/><label>ISBN: </label>5-03-001636-8 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Искусственный интеллект<br/>Логическое программирование<br/>Информатика<br/>Математическая логика