Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
pdf
- Author: Stefania Centrone Klaus Mainzer
- Language: English
- Year: 2023
- Author: Alexander Rabinovich
- Language: English
- Year: 2014