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