Home Browse by Subject Bestsellers New Titles Editor's Choice New Reviews Textbooks
Search Book Series Study Guides Rights Inspection Copy Contact Us Join Our Mailing List
For Authors How to Order E-Catalogues

Browse all Subjects
Search Bookshop
New Titles
Editor's Choice
Bestsellers
Book Series
Textbooks
Journals
Join Our Mailing List
 
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."

Mathematical Reviews





"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
ISBN 978-981-02-4001-1(set)
981-02-4001-5(set)
US$186 / £127
US$74 / £51

* Special price applies only to individuals purchasing online and cannot be used in conjunction with any other offers.


Copyright © 2008 World Scientific Publishing Co. All rights reserved.
Updated on 23 July 2008