£31.75

Vieweg+Teubner Verlag The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)

26945819

Price data checked 7 days ago

View at Amazon

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

This is the most expensive it has ever been. Walk away.

£32 today · previous high £32 · all-time low £24

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

Historical
Generating forecast…
£31.75 £23.45 £25.26 £27.07 £28.88 £30.69 £32.51 14 April 2026 04 May 2026 25 May 2026 15 June 2026 06 July 2026

Price Distribution

Price distribution over 84 days • 3 price levels

Days at Price
Current Price
56 days 21 days 7 days · current 0 14 28 42 56 £24 £31 £32 Days at Price

Price Analysis

Most common price: £24 (56 days, 66.7%)

Price range: £24 - £32

Price levels: 3 different prices over 84 days

Description

This book is unique in that it gives asymptotic bounds on the sizes of the search spaces generated by many common theorem-proving strategies. Thus it permits one to gain a theoretical understanding of the efficiencies of many different theorem-proving methods. This is a fundamental new tool in the comparative study of theorem proving strategies.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
28 October 1999
Listed Since
18 October 2006

Barcode

No barcode data available

Similar Products You Might Like

Funksignalanalyse (Teubner Studienbücher Technik)
79% match

Funksignalanalyse (Teubner Studienbücher Technik)

Vieweg+Teubner Verlag

£46.99 30 Jun 2026
Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms, Second Edition (Synthesis Lectures on Artificial Intelligence and Machine Learning)
78% match

Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms, Second Edition (Synthesis Lectures on Artificial Intelligence and Machine Learning)

Springer

£43.29 31 May 2026
Non-linear Programming and Queuing Theory: Recent Trends
78% match

Non-linear Programming and Queuing Theory: Recent Trends

VDM Verlag

£47.00 18 Jun 2026
Semantische Netze: Strategien der Speicherabbildung in Wissensbasen
78% match

Semantische Netze: Strategien der Speicherabbildung in Wissensbasen

VDM Verlag

£42.05 20 Jun 2026
Portfolio Optimization under Partial Information: Computation of Optimal Portfolio Strategies
78% match

Portfolio Optimization under Partial Information: Computation of Optimal Portfolio Strategies

VDM Verlag

£47.00 19 Jun 2026
Empirical Validation of Aspect Oriented Metrics: Using Cognitive Complexity and Fuzzy Inference Systems
77% match

Empirical Validation of Aspect Oriented Metrics: Using Cognitive Complexity and Fuzzy Inference Systems

£43.00 30 Jun 2026
Zur Simulation einer digitalen Integrieranlage mittels eines elektronischen Rechenautomaten
77% match

Zur Simulation einer digitalen Integrieranlage mittels eines elektronischen Rechenautomaten

Vieweg+Teubner Verlag

£42.99 21 Jun 2026
A Component-Based Multi-Agent System Modeling Methodology: Theory and Application
77% match

A Component-Based Multi-Agent System Modeling Methodology: Theory and Application

VDM Verlag

£47.00 18 Jun 2026
Mathematical Statistics: A Decision Theoretic Approach
77% match

Mathematical Statistics: A Decision Theoretic Approach

Academic Press

£49.99 09 Jun 2026
Optimizing The Route of an Assembly Arm: Numerical Solution of Medium-Size Bipartite TSP
77% match

Optimizing The Route of an Assembly Arm: Numerical Solution of Medium-Size Bipartite TSP

VDM Verlag

£42.00 18 Jun 2026
Constructive Methods for Parallel Programming (Advances in the Theory of Computational Mathematics, V. 10.)
77% match

Constructive Methods for Parallel Programming (Advances in the Theory of Computational Mathematics, V. 10.)

£41.11 11 Jun 2026
A Common-Sense Guide to AI Engineering: Build Production-Ready LLM Applications
77% match

A Common-Sense Guide to AI Engineering: Build Production-Ready LLM Applications

Pragmatic Bookshelf

£39.52 20 May 2026
Technology Management: Process and Strategy
76% match

Technology Management: Process and Strategy

VDM Verlag

£43.00 01 Jul 2026
Standardisation Processes in IT: Impact, Problems and Benefits of User Participation (XProfessional Computing)
76% match

Standardisation Processes in IT: Impact, Problems and Benefits of User Participation (XProfessional Computing)

Vieweg+Teubner Verlag

£39.41 29 Jun 2026
Robust Explainable AI (SpringerBriefs in Intelligent Systems)
76% match

Robust Explainable AI (SpringerBriefs in Intelligent Systems)

Springer

£39.63 23 Jun 2026
Statistical Analysis: A Computer Oriented Approach
76% match

Statistical Analysis: A Computer Oriented Approach

Academic Press

£43.99 12 Jun 2026
Probability Theory: A Historical Sketch
76% match

Probability Theory: A Historical Sketch

Academic Press

£49.99 08 Jun 2026
Steiner Type Packing Problems in Digraphs (SpringerBriefs in Mathematics)
76% match

Steiner Type Packing Problems in Digraphs (SpringerBriefs in Mathematics)

Springer

£40.46 25 Jun 2026
Spatial Artificial Intelligence (SpringerBriefs in Applied Sciences and Technology)
76% match

Spatial Artificial Intelligence (SpringerBriefs in Applied Sciences and Technology)

Springer

£29.99 17 May 2026
Analogical Reasoning in Statutory Law: An Extraordinarily Broad Scope for Application
76% match

Analogical Reasoning in Statutory Law: An Extraordinarily Broad Scope for Application

£40.00 19 Jun 2026
Standardisierungsansätze im IT-Management: zur Sicherstellung der Wirtschaftlichkeit in IT-Organisationen
76% match

Standardisierungsansätze im IT-Management: zur Sicherstellung der Wirtschaftlichkeit in IT-Organisationen

VDM Verlag

£47.00 23 Jun 2026
Artificial Intelligence Integrated Construction Simulation Method: From Basics to Methods with Real Case Applications
76% match

Artificial Intelligence Integrated Construction Simulation Method: From Basics to Methods with Real Case Applications

VDM Verlag

£46.00 01 Jul 2026
100% Utilization: Computation and Labor After Moore's Law (Software Studies)
76% match

100% Utilization: Computation and Labor After Moore's Law (Software Studies)

MIT Press

£44.24 13 Jun 2026
Concurrent Engineering Techniques and Applications: Advances in Theory and Applications
76% match

Concurrent Engineering Techniques and Applications: Advances in Theory and Applications

£43.99 08 Jun 2026