Prof. Klaus Mainzer | Neue Buchveröffentlichung | "Temporal Logic"

Aktuelles, Mainzer |

Prof. Klaus Mainzer hat das im Juni erschienene Buch gemeinsam mit Prof. Stefania Centrone, der Nachfolgerin auf seinem ehemaligen TUM-Lehrstuhl, verfasst.

Temporal Logic

From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing

https://www.worldscientific.com/worldscibooks/10.1142/13205#t=aboutBook