Automated Theorem Proving
Theory and Practice
Автор:
Monty Newborn
Наличност:
Външен склад в ограничено количество
Изпращаме след 11-15 дни
177.88
€
347.90 лв
This text and software package introduces readers to automated theorem proving, while providing two...