Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
Collected Works Of Larry Wos, The (In 2 Vols), Vol I: Exploring The Power Of Automated Reasoning; Vol Ii: Applying Automated Reasoning To Puzzles, Problems, And Open Questions eBook
$425.00 Original price was: $425.00.$250.00Current price is: $250.00.
By: Pieper Gail W
Publisher: World Scientific
Print ISBN: 9789810240011, 9810240015
eText ISBN: 9789812813411, 9812813411
Format: Fixed
More information about the product format
Available from $ 425.00 USD
SKU: 9789812813411
Subject:
eText ISBN: 9789812813411
SKU: 9789812813411
Category: Trending
Tags: Computers, Intelligence (AI) & Semantics
Print ISBN: 9789810240011
Automated reasoning programs are successfully tackling challenging problems in mathematics and logic, program verification, and circuit design. This two-volume book includes all the published papers of Dr Larry Wos, one of the world’s pioneers in automated reasoning. It provides a wealth of information for students, teachers, researchers, and even historians of computer science about this rapidly growing field.The book has the following special features:(1) It presents the strategies introduced by Wos which have made automated reasoning a practical tool for solving challenging puzzles and deep problems in mathematics and logic;(2) It provides a history of the field — from its earliest stages as mechanical theorem proving to its broad base now as automated reasoning;(3) It illustrates some of the remarkable successes automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design;(4) It includes a CD-ROM, with a searchable index of all the papers, enabling readers to peruse the papers easily for ideas.
Be the first to review “Collected Works Of Larry Wos, The (In 2 Vols), Vol I: Exploring The Power Of Automated Reasoning; Vol Ii: Applying Automated Reasoning To Puzzles, Problems, And Open Questions eBook” Cancel reply
You must be logged in to post a review.
Related products
-38%
eText ISBN: 9781337015783
$51.65 Original price was: $51.65.$31.82Current price is: $31.82.
-38%
eText ISBN: 9781119298625
$63.32 Original price was: $63.32.$39.01Current price is: $39.01.
-38%
Bestsellers
eText ISBN: 9780735637832
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
-38%
Bestsellers
eText ISBN: 9781943872183
$53.32 Original price was: $53.32.$32.85Current price is: $32.85.
-38%
eText ISBN: 9781466565043
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
eText ISBN: 9780735642737
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
-38%
Bestsellers
eText ISBN: 9781423207788
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9780203489802
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
Reviews
There are no reviews yet.