You might also like

Availability alert

More about Collected Works Of Larry Wos, The (In 2 Volumes)

• Book details
• Synopsis
• Trending among others

You get 835 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Artificial intelligence

• Full title: Collected Works Of Larry Wos, The (In 2 Volumes)
• Author: Larry Wos, Gail W. Pieper
• Language: English
• Binding: Hardback
• Number of pages: 1680
• EAN: 9789810240011
• ISBN: 9810240015
• ID: 05066374
• Publisher: World Scientific Publishing Co Pte Ltd
• Weight: 2604 g
• Dimensions: 231 × 169 × 95 mm
• Date of publishing: 03. January 2000

Trending among others

---

---

---