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