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