"Collected Works of Larry Wos (in 2 Vols), Vol 1 - Exploring the Power of...; Vol 2 - Applying Autom

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: (l) It shows the strategies introduced by Wos which have made automated reasoning a practical tool for solving challenging puzzles and deep logical problems; (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 success 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.