Browse By Department
Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing (Hardcover)
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....
$76.46 Delivery: $null
