Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Temporal Logic

Temporal Logic

From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing

by Klaus Mainzer, Stefania Centrone

World Scientific Publishing Company

₹4,328

Free delivery. Nothing extra to pay at checkout.

  • New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

From the publisher

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.

Description supplied by the publisher.

Book details

ISBN-13
9789811268533
ISBN-10
9811268533
Authors
Klaus Mainzer, Stefania Centrone
Condition
New
See all