查詢 au:Mainzer, Klaus. ，共 3 筆
查詢再細分
-
- 主題
- Data processing.(1)
- Logic, Symbolic and mathematical.(1)
- Masses.(1)
- Mathematics(1)
- Philosophy.(1)
- Temporal automata.(1)
-
- 館別
- 總圖(1)
-
1 0 0 0 0Temporal logic[electronic resource] :from philosophy and proof theory to artificial intelligence and quantum computing
- 作者: Centrone, Stefania.
- 出版: Singapore ;Hackensack, NJ : World Scientific c2023.
- 資料類型: 電子書
-
3 0 0 0 0
Proof and computation II[electronic resource] :from proof theory and univalent mathematics to program extraction and verification
- 作者: Mainzer, Klaus.
- 出版: Singapore : World Scientific c2022.
- 資料類型: 電子書
-
77 0 0 0 0
Grosse Messe[sound recording] :fur 4 Solostimmen, Chor, Orchester und Orgel op. 27
- 作者: Petersen, Wilhelm,
- 出版: Mainz, Germany : Wergo p1992.
- 資料類型: 視聽(聲音)