From
suffolkbooks, Center moriches, NY, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since December 10, 2020
Fast Shipping - Safe and Secure 7 days a week! Seller Inventory # mon0000001074
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.
Review:
"These volumes appear at a time when formal verification and symbolic computation are being increasingly accepted." -- Mathematical Reviews, 2002
the significance of automated deduction in general and of the work of Wos and his collaborators will continue to increase -- Mathematical Reviews
Title: Collected Works of Larry Wos : Exploring the...
Publisher: World Scientific Publishing Comp
Publication Date: 2000
Binding: hardcover
Condition: Very Good