£114.07

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

Price data last checked 56 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£114 today · all-time low £113 (Mar 2026) · usually the usual

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical
Generating forecast...
£138.42 £110.61 £116.68 £122.75 £128.81 £134.88 £140.95 12 March 2026 20 March 2026 29 March 2026 06 April 2026 15 April 2026

Price Distribution

Price distribution over 35 days • 3 price levels

Days at Price
Current Price
24 days 1 day · current 10 days 0 6 12 18 24 £113 £114 £138 Days at Price

Price Analysis

Most common price: £113 (24 days, 68.6%)

Price range: £113 - £138

Price levels: 3 different prices over 35 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

Format
hardcover
Domain
Amazon UK
Release Date
01 February 2000
Listed Since
11 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Handbook of Practical Logic and Automated Reasoning
97% match

Handbook of Practical Logic and Automated Reasoning

Cambridge University Press

£103.23 12 Apr 2026
Handbook of Automated Reasoning (Volume 1)
96% match

Handbook of Automated Reasoning (Volume 1)

North Holland

£325.00 23 Feb 2026
A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning
96% match

A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning

World Scientific Publishing Company

£81.09 09 Jan 2026
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings: 4130 (Lecture Notes in Computer Science, 4130)
96% match

Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings: 4130 (Lecture Notes in Computer Science, 4130)

Springer

£59.92 27 Feb 2026
Logic in Computer Science: Modelling and Reasoning about Systems
96% match

Logic in Computer Science: Modelling and Reasoning about Systems

£50.59 11 Jan 2026
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
96% match

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Springer

£103.00 07 Mar 2026
Logic Programming: A Classified Bibliography
96% match

Logic Programming: A Classified Bibliography

Springer

£83.18 17 Apr 2026
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)
96% match

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

Springer

£62.45 28 Feb 2026
The Lvov-Warsaw School. Past and Present (Studies in Universal Logic)
96% match

The Lvov-Warsaw School. Past and Present (Studies in Universal Logic)

Birkhauser

£99.99 15 Feb 2026
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)
96% match

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)

Springer

£64.59 21 Feb 2026
Logic for Computer Science and Artificial Intelligence
96% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.11 13 Apr 2026
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)
96% match

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

Springer

£57.86 16 Apr 2026
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)
96% match

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)

Springer

£66.33 04 Mar 2026
The Lvov-Warsaw School. Past and Present (Studies in Universal Logic)
96% match

The Lvov-Warsaw School. Past and Present (Studies in Universal Logic)

Birkhauser

£93.91 01 Mar 2026
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings: 5330 (Lecture Notes in Computer Science, 5330)
96% match

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings: 5330 (Lecture Notes in Computer Science, 5330)

Springer

£81.90 04 Feb 2026
Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic
95% match

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

VDM Verlag

£41.00 05 Apr 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
95% match

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Springer

£48.61 21 Feb 2026
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)
95% match

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)

Springer

£110.13 12 Jan 2026
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
95% match

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Springer

£107.43 10 Mar 2026
AI Aspects in Reasoning, Languages, and Computation: 889 (Studies in Computational Intelligence, 889)
95% match

AI Aspects in Reasoning, Languages, and Computation: 889 (Studies in Computational Intelligence, 889)

Springer

£103.91 28 Feb 2026
Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)
95% match

Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)

Springer

£168.01 08 Feb 2026
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
95% match

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

CRC Press

£70.25 03 Mar 2026
Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)
95% match

Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)

Springer

£164.00 08 Jan 2026
Representations of Commonsense Knowledge
95% match

Representations of Commonsense Knowledge

£56.99 08 Mar 2026