Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing (220 Pages)

Stefania Centrone & Klaus Mainzer

Language: English

Published: Apr 26, 2023