We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£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 56 day(s) ago - refreshing...
Price History & Forecast
Last 35 days • 35 data points (No recent data available)
Price Distribution
Price distribution over 35 days • 2 price levels
Current Price
Price Analysis
Most common price: £83 (23 days, 65.7%)
Price range: £83 - £85
Price levels: 2 different prices over 35 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
- Brand
- Springer
- Format
- Paperback
- ASIN
- 354058241X
- Domain
- Amazon UK
- Release Date
- 13 June 2008
- Listed Since
- 16 December 2006
Barcode
No barcode data available
Similar Products You Might Like
91% match
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
Springer
£146.56
30 Mar 2026
91% match
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Springer
£27.50
21 Feb 2026
91% match
Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ... (Lecture Notes in Computer Science, 1244)
Springer
£85.20
08 Mar 2026
91% 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
91% match
Advances in Intelligent Computing - IPMU '94: 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based ... 945 (Lecture Notes in Computer Science, 945)
Springer
£59.97
08 Mar 2026
91% match
Temporal Logic - World Scientific Publishing Company Book
World Scientific Publishing Company
£61.29
04 Mar 2026
91% match
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)
Springer
£75.47
04 Mar 2026
91% match
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 863 (Lecture Notes in Computer Science, 863)
Springer
£76.18
28 Feb 2026
91% match
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings: 5366 (Lecture Notes in Computer Science, 5366)
Springer
£81.34
27 Feb 2026
90% match
Springer Applied Logic: How, What and Why - Synthese Library 247
Springer
£111.08
24 Feb 2026
90% match
Practice and Theory of Automated Timetabling: First International Conference, Edinburgh, UK, August 29 - September 1, 1995. Selected Papers: 1153 (Lecture Notes in Computer Science, 1153)
Springer
£44.66
14 Apr 2026
90% match
Handbook of Philosophical Logic: Volume 14
Springer
£144.71
10 Mar 2026
90% match
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
£103.00
07 Mar 2026
90% match
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings: 968 (Lecture Notes in Computer Science, 968)
Springer
£38.48
07 Jan 2026
90% match
Time & Logic: A Computational Approach (Routledge Revivals)
Routledge
£121.73
26 Feb 2026
90% match
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings: 3229 (Lecture Notes in Computer Science, 3229)
Springer
£81.12
08 Mar 2026
90% match
Temporal Databases: Research and Practice: 1399 (Lecture Notes in Computer Science, 1399)
Springer
£44.57
01 Apr 2026
90% match
Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings: 623 (Lecture Notes in Computer Science, 623)
Springer
£85.34
05 Mar 2026
90% match
Logics in Artificial Intelligence: European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings: 2424 (Lecture Notes in Computer Science, 2424)
Springer
£88.83
08 Mar 2026
90% match
Logic Programming: A Classified Bibliography
Springer
£83.18
17 Apr 2026
90% match
PARLE '94 Parallel Architectures and Languages Europe: 6th International PARLE Conference, Athens, Greece, July 4 - 8, 1994. Proceedings: 817 (Lecture Notes in Computer Science, 817)
Springer
£85.62
07 Apr 2026
90% match
AI Aspects in Reasoning, Languages, and Computation: 889 (Studies in Computational Intelligence, 889)
Springer
£103.91
28 Feb 2026
90% match
Intelligent Computing: Proceedings of the 2019 Computing Conference, Volume 1: 997 (Advances in Intelligent Systems and Computing, 997)
Springer
£150.59
11 Jan 2026
90% match
Dynamics in Logistics: Proceedings of the 4th International Conference LDIC, 2014 Bremen, Germany (Lecture Notes in Logistics)
Springer
£143.42
25 Jan 2026