Collected Works of Larry Wos : Exploring the Power of Automated Reasoning (2 volume set) (Vol 1) [Hardcover]

Larry Wos (Author)

Book Description

Publication Date: March 2001

Automated reasoning programs are successfully tackling challenging problems in mathematics and logic, program verification and circuit design. This two-volume work includes all the published papers of Dr Larry Wos, one of the world's pioneers in automated reasoning. It provides information for students, teachers, researchers and even historians of computer science about this field. The book 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. It provides a history of the field - from its earliest stages as mechanical theorem proving to its broad base now as automated reasoning. It illustrates some of the remarkable successes that automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification and circuit design. The accompanying CD-ROM, with a searchable index of all the papers, should enable readers to peruse the papers for ideas.

Editorial Reviews

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

Product Details

• Hardcover: 1680 pages
• Publisher: World Scientific Pub Co Inc (March 2001)
• Language: English
• ISBN-10: 9810240015
• ISBN-13: 978-9810240011
• Product Dimensions: 9.1 x 6.7 x 3.7 inches
• Shipping Weight: 5.7 pounds (View shipping rates and policies)
• Amazon Best Sellers Rank: #6,068,959 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.