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

by Klaus Mainzer and Stefania Centrone

No Customer Reviews

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...

Format:Hardcover

Language:English

ISBN:9811268533

ISBN13:9789811268533

Release Date:May 2023

Publisher:World Scientific Publishing Company

Length:220 Pages

Weight:1.03 lbs.

Dimensions:0.6" x 6.0" x 9.0"

Related Subjects

Computers Computers & Technology Math Mathematics Science & Math

Customer Reviews

0 rating

Write a review

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

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

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

Recommended

Customer Reviews

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us