Collected Works Of Larry Wos, The (In 2 Volumes) (Hardback)
  • Collected Works Of Larry Wos, The (In 2 Volumes) (Hardback)
zoom

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

(author,volume editor), (author)
£235.00
Hardback 1680 Pages / Published: 26/01/2000
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: World Scientific Publishing Co Pte Ltd
ISBN: 9789810240011
Number of pages: 1680
Weight: 2604 g
Dimensions: 230 x 169 x 95 mm

You may also be interested in...

Emotion: A Very Short Introduction
Added to basket
Superintelligence
Added to basket
£18.99
Hardback
Programming Game AI By Example
Added to basket
Programming Computer Vision with Python
Added to basket
Bayesian Reasoning and Machine Learning
Added to basket
Reinforcement Learning
Added to basket
Understanding Beliefs
Added to basket
Dark Pools
Added to basket
£9.99
Paperback
AI for Game Developers
Added to basket
Machine Learning
Added to basket
Artificial Intelligence: The Basics
Added to basket
Essentials of Game Theory
Added to basket
The Singularity Is Near
Added to basket
Machine Learning
Added to basket
£39.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.