Collected Works of Larry Wos, the (in 2 Volumes) - Pieper, Gail W.; Wos, Larry
283,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in über 4 Wochen
payback
142 °P sammeln
  • Gebundenes Buch

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…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.