Automated Theorem Proving: Theory and Practice by Monty Newborn

Automated Theorem Proving: Theory and Practice

Monty Newborn

231 pages missing pub info (editions)

nonfiction art computer science mathematics medium-paced
Powered by AI (Beta)
Loading...

Description

As the 21st century begins, the power of our magical new tool and partner, the computer, is increasing at an astonishing rate. Computers that perform billions of operations per second are now commonplace. Multiprocessors with thousands of little c...

Read more

Community Reviews

Loading...

Content Warnings

Loading...