The book is currently out of stock
Parameters
More about the book
"Temporal Logic: From Ancient Ideas to Artificial Intelligence" explores the history and development of temporal logic, tracing its roots from ancient philosophy to modern applications in computer science. It highlights contributions from A. N. Prior and examines the interplay between linguistic, philosophical, and computational aspects.
Book purchase
Temporal Logic, Peter Øhrstrøm, P. Hasle
- Language
- Released
- 1995
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
We’re missing your review here.