COLLE WORK LARRY WOS (2V) [W/ CD] (eBook)

(In 2 Volumes)Volume I: Exploring the Power of Automated ReasoningVolume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions

Gail W Pieper, Larry Wos (Autoren)

eBook Download: PDF

2000
1680 Seiten
World Scientific Publishing Company (Verlag)
978-981-281-341-1 (ISBN)

Infos

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.

Produkt-Details

• Erscheint lt. Verlag: 21.1.2000
• Reihe/Serie: 20000121
• Verlagsort: Singapore
• Sprache: englisch
• Themenwelt: Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-10: 981-281-341-1 / 9812813411
• ISBN-13: 978-981-281-341-1 / 9789812813411