"Компьютерное моделирование логических процессов" Том 9. Автоматическое создание приемов логической системы (Логический вывод в базе теорем)книга
-
Автор:
Подколзин А.С.
-
Год издания:
2022
-
Место издания:
Депонировано в ВИНИТИ РАН, №33-В2022 Москва
-
Объём:
1500 страниц
-
Монография
-
Аннотация:
Книга завершает описание системы автоматического создания приемов компьютерного решателя задач.
-
Добавил в систему:
Подколзин Александр Сергеевич