THE COLLECTED WORKS OF LARRY WOS
(In 2 Volumes)Volume I: Exploring the Power of Automated ReasoningVolume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions
by Larry Wos (Argonne National Laboratory) & Gail W Pieper (Argonne National Laboratory)
Table of Contents (219k) Preface (168k) Foreword (65k) On Commutative Prime Power Subgroups of the Norm (679k) Subsumption, a Sometimes Undervalued Procedure (2,044k)
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.
|