The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1 - Image 1

£114.07

World Scientific Publishing Company The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1

Name: The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1
Brand: World Scientific Publishing Company
Price: 91.89 GBP
Availability: InStock

Project Management

Price data last checked 9 day(s) ago - will refresh soon

View at Amazon

Price History & Forecast

Last 82 days • 82 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 82 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £92 (40 days, 48.8%)

Price range: £92 - £138

Price levels: 5 different prices over 82 days

Description

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.

Product Specifications

Brand: World Scientific Publishing Company
Format: hardcover
ASIN: 9810240015
Category: Books > Subjects > Business, Finance & Law > Management > Project Management
Domain: Amazon UK
Release Date: 01 February 2000
Listed Since: 11 December 2006

Barcode

No barcode data available

World Scientific Publishing Company The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Handbook of Practical Logic and Automated Reasoning

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)

Logic for Computer Science and Artificial Intelligence

Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic

The Logical Legacy of Nikolai Vasiliev and Modern Logic: 387 (Synthese Library, 387)

Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings: 13752 (Lecture Notes in Computer Science, 13752)

Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings: 11715 (Lecture Notes in Computer Science, 11715)

Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings: 10377 (Lecture Notes in Computer Science, 10377)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Selected Papers Of John H. Holland: A Pioneer In Complexity Science: 4 (Exploring Complexity)

R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)

Psychology of Reasoning: Theoretical and Historical Perspectives

Readings in Artificial Intelligence and Software Engineering

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Computational Intelligence: A Logical Approach

Proofs and Computations (Perspectives in Logic)

Three Views of Logic: Mathematics, Philosophy, and Computer Science

Computational Logic and Human Thinking: How to Be Artificially Intelligent

Probabilistic Extensions of Various Logical Systems

Computability and Logic

Applied Logic: How, What and Why: Logical Approaches to Natural Language: 247 (Synthese Library, 247)

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Representation Theorems in Computer Science: A Treatment in Logic Engineering