£85.81

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

£86 today · previous high £86 · all-time low £86

Springer Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings: 827 (Lecture Notes in Computer Science, 827)

Amazon

Price History & Forecast

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

Last 55 days · 55 data points (no recent data)

Historical
Generating forecast…
£85.81 £85.77 £85.78 £85.79 £85.79 £85.80 £85.81 26 July 2026 08 August 2026 22 August 2026 04 September 2026 18 September 2026
View at Amazon ↗

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

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 Distribution

Price distribution over 55 days • 1 price levels

Days at Price
55 days 0 14 28 41 55 £86 Days at Price

Price Analysis

Most common price: £86 (55 days, 100.0%)

Price range: £86 - £86

Price levels: 1 different prices over 55 days

Description

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
13 June 2008
Listed Since
16 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Time & Logic: A Computational Approach (Routledge Revivals)
97% match

Time & Logic: A Computational Approach (Routledge Revivals)

Routledge

£119.21 13 Sep 2026
Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples
97% match

Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples

Südwestdeutscher Verlag für Hochschulschriften

£85.00 27 Sep 2026
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
97% match

Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)

Springer

£144.18 27 Sep 2026
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3 (Atlantis Studies in Computing, 3)
96% match

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3 (Atlantis Studies in Computing, 3)

Springer

£40.92 11 Sep 2026
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
96% match

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£38.97 11 Sep 2026
An Introduction to Practical Formal Methods Using Temporal Logic
96% match

An Introduction to Practical Formal Methods Using Temporal Logic

Wiley

£97.00 11 Sep 2026
Logic, Language and Computation: 5 (Applied Logic Series, 5)
96% match

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Springer

£75.80 30 Sep 2026
Past, Present and Future
96% match

Past, Present and Future

Oxford University Press

£40.00 18 Sep 2026
Proceedings of the 7th and 8th Asian Logic Conferences
96% match

Proceedings of the 7th and 8th Asian Logic Conferences

World Scientific Publishing Company

£100.00 09 Sep 2026
Handbook of Philosophical Logic: Volume 13
95% match

Handbook of Philosophical Logic: Volume 13

Springer

£145.18 30 Sep 2026
Papers On Time And Tense - Arthur N. Prior Logic Philosophy
95% match

Papers On Time And Tense - Arthur N. Prior Logic Philosophy

Oxford University Press

£41.17 23 Oct 2026
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)
95% match

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)

Birkhauser

£77.19 10 Sep 2026
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse: 156 (Synthese Library, 156)
95% match

The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse: 156 (Synthese Library, 156)

Springer

£85.19 24 Sep 2026
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)
95% match

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)

Springer

£74.28 19 Sep 2026
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
95% match

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Springer

£62.16 23 Sep 2026
Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)
95% match

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Cambridge University Press

£158.24 11 Sep 2026
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings: 12678 (Lecture Notes in Computer Science, 12678)
95% match

Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings: 12678 (Lecture Notes in Computer Science, 12678)

Springer

£68.52 25 Sep 2026
Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)
95% match

Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)

Springer

£75.56 18 Sep 2026
Handbook of Philosophical Logic: Volume 12
95% match

Handbook of Philosophical Logic: Volume 12

Springer

£145.28 30 Sep 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
95% match

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Springer

£151.20 24 Sep 2026
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings: 5366 (Lecture Notes in Computer Science, 5366)
95% match

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings: 5366 (Lecture Notes in Computer Science, 5366)

Springer

£82.43 17 Sep 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)
95% 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

£60.87 19 Sep 2026
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
95% match

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Cambridge University Press

£93.99 03 Oct 2026