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