Логические методы в искусственном интеллекте : Учеб. пособие для студентов вузов, обучающихся по специальностям группы "Информатика и вычисл. техника"Ашинянц, Роберт Арамович2001223 с.