English
Advanced
Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
Stefania Centrone,Klaus Mainzer
2023
View book
Discover references
Stefania Centrone,Klaus Mainzer
Klaus Mainzer