English
Advanced
Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
Stefania Centrone,Klaus Mainzer
2023
مشاهدهٔ کتاب
کشف منابع
Stefania Centrone,Klaus Mainzer