We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£69.35
This is the most expensive it has ever been. Walk away.
£69 today · previous high £69 · all-time low £57
World Scientific Publishing Company Temporal Logic: Philosophy to AI & Quantum Computing
Price data last checked 19 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 72 days · 72 data points (no recent data)
Price data last checked 19 day(s) ago - will refresh soon
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 Distribution
Price distribution over 72 days • 2 price levels
Price Analysis
Most common price: £57 (71 days, 98.6%)
Price range: £57 - £69
Price levels: 2 different prices over 72 days
Description
Key Features
Temporal Logic covers both philosophical underpinnings in modal logic and modern computational applications in computer science.
The book explains temporal calculi essential for managing information flows in laptops, the Internet, and supercomputer architectures.
Readers gain insight into how temporal operators extend modal logic to create modern temporal logic systems used in artificial intelligence.
Published by World Scientific Publishing Company, this text connects classical philosophy with quantum computing and contemporary high-tech applications.
Product Specifications
- Format
- hardcover
- ASIN
- 9811268533
- Domain
- Amazon UK
- Release Date
- 22 May 2023
- Listed Since
- 04 November 2022
Barcode
No barcode data available
Similar Products You Might Like
Time & Logic: A Computational Approach (Routledge Revivals)
Routledge
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
Springer
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
Springer
An Introduction to Practical Formal Methods Using Temporal Logic
Wiley
Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples
Südwestdeutscher Verlag für Hochschulschriften
Logic, Language and Computation: 5 (Applied Logic Series, 5)
Springer
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)
Birkhauser
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
Chapman and Hall/CRC
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Mathematical Aspects of Logic Programming Semantics: 6 (Chapman & Hall/CRC Studies in Informatics Series)
CRC Press
Logic for Applications (Texts in Computer Science)
Springer
Proof Theory and Logic Programming: Computation as Proof Search
Cambridge University Press
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
CRC Press
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
Displaying Modal Logic: 3 (Trends in Logic, 3)
Springer
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
CRC Press
Protoalgebraic Logics: Trends in Logic Vol. 10 - Springer
Springer
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings: 827 (Lecture Notes in Computer Science, 827)
Springer
Modal Semirings and Applications (Trends in Logic, 72)
Springer
Advances in Temporal Logic: Applied Logic Series Volume 16
Springer
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)
Springer
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
CRC Press