Аннотация:В восьмом томе монографии "Компьютерное моделирование логических процессов" продолжается изложение алгоритмов автоматического создания приемов решателя. В ней описываются архитектура и интерфейсы базы теорем логической системы, алгоритмы характеризации теорем и создания спецификаций приемов.