£84.97

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

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

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.

£85 today · usual range £0–£0 · best ever £80

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 629 days • 629 data points (No recent data available)

Historical
Generating forecast...
£89.99 £79.40 £81.71 £84.02 £86.33 £88.64 £90.95 10 June 2024 14 November 2024 20 April 2025 24 September 2025 28 February 2026

Price Distribution

Price distribution over 629 days • 6 price levels

Days at Price
Current Price
70 days 22 days 154 days 19 days · current 310 days 54 days 0 78 155 233 310 £81 £82 £83 £85 £86 £90 Days at Price

Price Analysis

Most common price: £86 (310 days, 49.3%)

Price range: £81 - £90

Price levels: 6 different prices over 629 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

Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57)
98% match

Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57)

Springer

£110.97 28 Jan 2026
Time & Logic: A Computational Approach (Routledge Revivals)
97% match

Time & Logic: A Computational Approach (Routledge Revivals)

Routledge

£121.73 26 Feb 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 31 Mar 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

£146.56 30 Mar 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

£34.36 20 Feb 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

£27.50 21 Feb 2026
An Introduction to Practical Formal Methods Using Temporal Logic
96% match

An Introduction to Practical Formal Methods Using Temporal Logic

Wiley

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

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

Springer

£76.14 08 Apr 2026
Past, Present and Future
96% match

Past, Present and Future

Oxford University Press

£40.00 28 Feb 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 17 Feb 2026
Handbook of Philosophical Logic: Volume 13
95% match

Handbook of Philosophical Logic: Volume 13

Springer

£149.64 05 Apr 2026
Papers On Time And Tense
95% match

Papers On Time And Tense

Oxford University Press

£45.44 18 Mar 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

£54.56 20 Feb 2026
Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)
95% match

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

North Holland

£115.00 12 Jan 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

£84.35 09 Mar 2026
Handbook of Temporal Reasoning in Artificial Intelligence (Foundations of Artificial Intelligence): Volume 1
95% match

Handbook of Temporal Reasoning in Artificial Intelligence (Foundations of Artificial Intelligence): Volume 1

Elsevier

£41.75 26 Jan 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

£75.47 04 Mar 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.33 08 Mar 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

£118.40 23 Feb 2026
Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)
95% match

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Springer

£78.47 07 Jan 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
95% match

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

£85.45 08 Jan 2026
New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014: 152 (Springer Proceedings in Mathematics & Statistics, 152)
95% match

New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014: 152 (Springer Proceedings in Mathematics & Statistics, 152)

Springer

£108.75 10 Jan 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

£70.72 10 Mar 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.87 28 Feb 2026