Алгоритмические языки в САПР. Логическое программирование : Учеб. пособиеСеров, Владимир Васильевич200150 с.