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

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