.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Theorem Proving
Monty Newborn
€ 149.39
FREE Delivery in Ireland
Description for Automated Theorem Proving
Paperback. Num Pages: 231 pages, biography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 385.
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 parallel computations and solve problems in seconds that only a few years ago took days or months. Chess-playing programs are on an even footing with the world's best players. IBM's Deep Blue defeated world champion Garry Kasparov in a match several years ago. Increasingly computers are expected to be more intelligent, to reason, to ... Read more
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 parallel computations and solve problems in seconds that only a few years ago took days or months. Chess-playing programs are on an even footing with the world's best players. IBM's Deep Blue defeated world champion Garry Kasparov in a match several years ago. Increasingly computers are expected to be more intelligent, to reason, to ... Read more
Product Details
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag New York Inc. United States
Number of pages
231
Condition
New
Number of Pages
231
Place of Publication
New York, NY, United States
ISBN
9781461265191
SKU
V9781461265191
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Theorem Proving