Centrone, S., & Mainzer, K. (2023). Temporal logic: From philosophy and proof theory to artificial intelligence and quantum computing. World Scientific Publishing Co. Pte. Ltd.
Chicago-Zitierstil (17. Ausg.)Centrone, Stefania, und Klaus Mainzer. Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing. Singapore ; Hackensack, NJ: World Scientific Publishing Co. Pte. Ltd, 2023.
MLA-Zitierstil (9. Ausg.)Centrone, Stefania, und Klaus Mainzer. Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing. World Scientific Publishing Co. Pte. Ltd, 2023.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.