|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Компьютерное моделирование логических процессов. Том 8книга
- Автор: Подколзин А.С.
- Год издания: 2021
- Место издания: ВИНИТИ РАН Москва
- Объём: 516 страниц
- Монография
- Аннотация: В восьмом томе монографии "Компьютерное моделирование логических процессов" продолжается изложение алгоритмов автоматического создания приемов решателя. В ней описываются архитектура и интерфейсы базы теорем логической системы, алгоритмы характеризации теорем и создания спецификаций приемов.
- Добавил в систему: Подколзин Александр Сергеевич