Collected Works Of Larry Wos, The (In 2 Volumes) - Hardcover

Pieper, Gail W.; Wos, Larry

Hardcover

ISBN 10: 9810240015 ISBN 13: 9789810240011

Verlag: World Scientific Publishing Co Pte Ltd, 1999

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: World Scientific Publishing Co Pte Ltd
• Erscheinungsdatum: 1999
• Sprache: Englisch
• ISBN 10: 9810240015
• ISBN 13: 9789810240011
• Einband: Gebundene Ausgabe
• Anzahl der Seiten: 1680
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar