|
|
|
THE COLLECTED WORKS OF LARRY WOS
(In 2 Volumes)
Volume I: Exploring the Power of Automated Reasoning
Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions
by Larry Wos with Gail W Pieper (Argonne National Laboratory)
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' 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. |
Readership: College students, teachers, and researchers in automated
reasoning, computer science, mathematics, logic and historians of computer science.
"... this collection of Wos' works is impressive. These volumes appear at a time when formal verification and symbolic computation are being increasingly accepted in industry and academia, and notable progress has been made in automated deduction. Wos and his collaborators may be largely responsible for getting the field of automated deduction started ... Undoubtedly the significance of automated deduction in general and of the work of Wos and his collaborators in particular will continue to increase."
"This book gives us a unique opportunity to look into the area of automated reasoning, into its insights, evolution, successes, and challenges. It shows that seemingly intuitive ideas do not work and thus, it changes your viewpoint. And it makes you think."
| The Review of Modern Logic |
| 1680pp |
Pub. date: Jan 2000 |
|
* Special price applies only to individuals purchasing online and cannot be used in conjunction with any other offers.
|
|
|
