We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£107.43
Springer Advances in Temporal Logic 16 - Applied Logic Series
Price data checked 4 days ago
Price History & Forecast
Last 87 days • 87 data points (No recent data available)
Price Distribution
Price distribution over 87 days • 3 price levels
Price Analysis
Most common price: £107 (67 days, 77.0%)
Price range: £107 - £112
Price levels: 3 different prices over 87 days
Description
Key Features
Part of the Applied Logic Series, volume 16, providing specialized knowledge in formal logic and computer science.
Contains state-of-the-art research articles from leading international researchers in the field.
Focuses on the application of temporal logic for the specification and verification of computer programs.
Connects classical logical studies with modern advancements in Artificial Intelligence and computer science.
Provides a comprehensive look at the work of a vibrant global research community.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 9048153891
- Category
- 269265 > AI & Machine Learning
- Domain
- Amazon UK
- Release Date
- 08 December 2010
- Listed Since
- 01 October 2010
Barcode
No barcode data available
Similar Products You Might Like
FEIN 63502225230 SL E-Cut C HCS 50x65 Saw Blade, 0 V, Multi-Colour
Springer
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
Springer
Temporal Logic - World Scientific Publishing Company Book
World Scientific Publishing Company
Springer The Logic of Time - Synthese Library 156 Book
Springer
Springer Advances in Verification of Time Petri Nets and TA
Springer
Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)
North Holland
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
Springer
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse: 156 (Synthese Library, 156)
Springer
Time & Logic: A Computational Approach (Routledge Revivals)
Routledge
Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57)
Springer
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Springer
An Introduction to Practical Formal Methods Using Temporal Logic
Wiley
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
Springer Mathematical Problems from Applied Logic I - Vol 4
Springer
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3 (Atlantis Studies in Computing, 3)
Springer
Logic for Applications (Texts in Computer Science)
Springer
Springer Mathematical Problems from Applied Logic I - Vol 4
Springer
Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018): 860 (Studies in Computational Intelligence, 860)
Springer
Handbook of Philosophical Logic: Volume 14
Springer
Logic, Language and Computation: 5 (Applied Logic Series, 5)
Springer
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings: 827 (Lecture Notes in Computer Science, 827)
Springer
Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings: 13416 (Lecture Notes in Computer Science, 13416)
Springer
Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series, 16)
Springer