臺北市立大學行動版館藏查詢

Mainzer, Klaus.(作者(個人/團體)) ，共查得6 件。

Artificial intelligence when do machines take over? / by Klaus Mainzer. 2020.

Limits of AI -- theoretical- practical- ethical by Klaus Mainzer, Reinhard Kahle. 2024.

Proof and computation II from proof theory and univalent mathematics to program extraction and verification / editors, Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg. c2022.

Temporal logic from philosophy and proof theory to artificial intelligence and quantum computing / Stefania Centrone, Klaus Mainzer. c2023.

The digital and the real world computational foundations of mathematics, science, technology, and philosophy / Klaus Mainzer. c2018.

The universe as automaton from simplicity and symmetry to complexity / by Klaus Mainzer, Leon Chua. 2012.

1/1

縮小搜尋範圍

出版年區間 : 年 ~ 年
特藏 :
語文 :