Skip to content
Scan a barcode
Scan
Hardcover Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing Book

ISBN: 9811268533

ISBN13: 9789811268533

Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing

Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of modalities. A deep understanding of these roots opens avenues...

Recommended

Format: Hardcover

Condition: New

$78.00
50 Available
Ships within 2-3 days

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured