Подколзин А.С. Компьютерное моделирование логических процессов.
Архитектура и язык решателя задач

В книге представлено описание разработанного автором пакета прикладных программ "Логическая система "Искра", обобщающего многолений опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения "решателя". В основном моделировались процессы решения математических задач. (Подробнее)