We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£44.74
Springer Using Sophisticated Models in Resolution Theorem Proving: 90 (Lecture Notes in Computer Science, 90)
Price data last checked 17 day(s) ago - will refresh soon
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 2 months ago.
£45 today · all-time low £45 (May 2026) · usually £45
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
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 74 days · 74 data points (no recent data)
Price Distribution
Price distribution over 74 days • 1 price levels
Price Analysis
Most common price: £45 (74 days, 100.0%)
Price range: £45 - £45
Price levels: 1 different prices over 74 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3540102310
- Domain
- Amazon UK
- Release Date
- 01 August 1980
- Listed Since
- 16 December 2006
Barcode
No barcode data available
Similar Products You Might Like
The Computational Complexity of Logical Theories: 718 (Lecture Notes in Mathematics, 718)
Springer
Einfürung in die Höhere Mathematik
Springer
Über den Anziehungsbereich eines Fixpunktes bei biholomorphen Abbildungen des ℂn
Springer
CLU: Reference Manual: 114 (Lecture Notes in Computer Science, 114)
Springer
Lambda-Rings and the Representation Theory of the Symmetric Group: 308 (Lecture Notes in Mathematics, 308)
Springer
Energy Methods in Time-Varying System Stability and Instability Analyses: 68 (Lecture Notes in Physics, 68)
Springer
An Invitation to Coarse Groups: 2339 (Lecture Notes in Mathematics, 2339)
Springer
Linear Algebra: 2 (Handbook for Automatic Computation, 2)
Springer
Advanced Mathematics for the Modeling and Solution of Challenging Problems in Engineering: 582 (Studies in Systems, Decision and Control, 582)
Springer
Academic Collaborations in the Global Marketplace: 6 (Knowledge Studies in Higher Education, 6)
Springer
Linear und Complex Analysis Problem Book: 199 Research Problems: 1043 (Lecture Notes in Mathematics, 1043)
Springer
Verhandlungen des Hils-Solling-Forst-Vereins
Springer
Equations over Finite Fields: An Elementary Approach: 536 (Lecture Notes in Mathematics, 536)
Springer
International Conference on Advanced Intelligent Systems for Sustainable Development: Volume 3 - Advanced Intelligent Systems on Agriculture and ... (Lecture Notes in Networks and Systems, 713)
Springer
Introduction to Scientific Computing and Data Analysis: 13 (Texts in Computational Science and Engineering, 13)
Springer
The Atiyah-Singer Index Theorem: An Introduction: 638 (Lecture Notes in Mathematics, 638)
Springer
Advances in Information Systems Development: AI for IS Development and Operations: 63 (Lecture Notes in Information Systems and Organisation, 63)
Springer
Postroenie matematicheskikh modeley: Metody i sovremennye komp'yuternye tekhnologii
LAP Lambert Academic Publishing
Konforme Abbildung
Springer
Research in Computational Topology: 13 (Association for Women in Mathematics Series, 13)
Springer
Lineare Programmierung und Erweiterungen: 2 (Ökonometrie und Unternehmensforschung Econometrics and Operations Research, 2)
Springer
Information System Design: AI and ML Applications: Proceedings of Ninth International Conference on Information System Design and Intelligent ... (Lecture Notes in Networks and Systems, 1565)
Springer
Higher Education in the Arab World: Research and Development
Springer
Intelligent Methods Systems and Applications in Computing, Communications and Control: 9th International Conference on Computers Communications and ... in Intelligent Systems and Computing, 1435)
Springer