Д.Царьков. Символьные методы обработки логических формул.
Комментарии, вопросы? Пишите: info@astronet.ru или сюда