Automated Theorem Proving Theory and Practice / by Monty Newborn.
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 computers - relatively little! -can now carry out para...
Full description
Saved in: