Andere Kunden interessierten sich auch für
![Ernst Zermelo - Collected Works/Gesammelte Werke]( "Ernst Zermelo - Collected Works/Gesammelte Werke")
Ernst Zermelo - Collected Works/Gesammelte Werke111,99 €![Gesammelte Abhandlungen II - Collected Works II]( "Gesammelte Abhandlungen II - Collected Works II")
Gesammelte Abhandlungen II - Collected Works II69,54 €![Gesammelte Abhandlungen I - Collected Works I]( "Gesammelte Abhandlungen I - Collected Works I")
Gesammelte Abhandlungen I - Collected Works I69,54 €![Gesammelte Abhandlungen III - Collected Works III]( "Gesammelte Abhandlungen III - Collected Works III")
Gesammelte Abhandlungen III - Collected Works III69,54 €![Ernst Zermelo - Collected Works/Gesammelte Werke]( "Ernst Zermelo - Collected Works/Gesammelte Werke")
Ernst Zermelo - Collected Works/Gesammelte Werke160,49 €![Mathematics and Plausible Reasoning [Two Volumes in One]]( "Mathematics and Plausible Reasoning [Two Volumes in One]")
Mathematics and Plausible Reasoning [Two Volumes in One]36,99 €![Essays on the Theory of Numbers (Second Edition)]( "Essays on the Theory of Numbers (Second Edition)")
Essays on the Theory of Numbers (Second Edition)14,99 €
![Mathematics and Plausible Reasoning [Two Volumes in One]](https://bilder.buecher.de/produkte/40/40427/40427399n.jpg "Mathematics and Plausible Reasoning [Two Volumes in One]")
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.