£123.23

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 10 day(s) ago - will refresh soon

View at Amazon

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

This is the usual price. Wait for it to drop, or tell us your number.

£123 today · usual range £112–£137 · best ever £112

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 81 days · 81 data points (no recent data)

Historical
Generating forecast…
£137.35 £110.00 £115.97 £121.94 £127.90 £133.87 £139.84 26 April 2026 16 May 2026 05 June 2026 25 June 2026 15 July 2026

Price Distribution

Price distribution over 81 days • 6 price levels

Days at Price
Current Price
8 days 14 days 3 days · current 25 days 12 days 19 days 0 6 13 19 25 £112 £114 £123 £124 £125 £137 Days at Price

Price Analysis

Most common price: £124 (25 days, 30.9%)

Price range: £112 - £137

Price levels: 6 different prices over 81 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 14 Jul 2026
Handbook of Automated Reasoning (Volume 1)
96% match

Handbook of Automated Reasoning (Volume 1)

North Holland

£325.00 03 Jul 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

£83.88 12 Jun 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.22 04 Jul 2026
Logic in Computer Science: Modelling and Reasoning about Systems
96% match

Logic in Computer Science: Modelling and Reasoning about Systems

Cambridge University Press

£47.74 13 Jun 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 08 Jul 2026
Logic Programming: A Classified Bibliography
96% match

Logic Programming: A Classified Bibliography

Springer

£83.00 15 Jul 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

£61.79 04 Jul 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

£100.75 29 Jun 2026
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
96% match

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

A K Peters/CRC Press

£86.10 21 May 2026
Springer - Nonmonotonic Logic: Context-Dependent Reasoning
96% match

Springer - Nonmonotonic Logic: Context-Dependent Reasoning

Springer

£117.34 18 Jul 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

£61.75 02 Jul 2026
Logic for Computer Science and Artificial Intelligence
96% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.12 14 Jul 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

£58.27 15 Jul 2026
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... (Lecture Notes in Computer Science, 6397)
96% match

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... (Lecture Notes in Computer Science, 6397)

Springer

£89.92 17 Jul 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 07 Jul 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

£95.88 06 Jul 2026
Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)
96% match

Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)

Springer

£74.50 20 May 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

£86.44 24 Jun 2026
Directions in Relevant Logic: 1 (Reason and Argument, 1)
96% match

Directions in Relevant Logic: 1 (Reason and Argument, 1)

Springer

£41.40 06 May 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 13 Jul 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

£52.29 02 Jul 2026
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)
95% match

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)

Springer

£89.95 09 May 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

£106.20 14 Jun 2026