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

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