Тей, А., Грибомон,П.. Снийерс,Д. <br/><br/>
Логический подход к искусственному интелекту:  От классической логики к логическому программированию/ 
А. Тей, П. Грибомон, Ж. Луи 
 - Москва:  Мир,  1990. 
 - 430 с. 
<br/><br/>Библиогр. : с.411-418 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Аналитический обзор