Моделирование рассуждений : конспект лекций для студентов направления "Информатика и вычислительная техника"Соснин, Петр Иванович200074 с.