查詢 au:Schwichtenberg, Helmut, ，共 1 筆
查詢再細分
-
- 出版年
- 2022(1)
-
- 語言
- 英語(1)
-
- 作者
- Mainzer, Klaus.(1)
- Schuster, Peter,(1)
- Schwichtenberg, Helmut,(1)
-
- 資料類型
- 電子書(1)
-
- 主題
- Data processing.(1)
- Mathematics(1)
- Philosophy.(1)
-
6 0 0 0 0Proof and computation II[electronic resource] :from proof theory and univalent mathematics to program extraction and verification
- 作者: Mainzer, Klaus.
- 出版: Singapore : World Scientific c2022.
- 資料類型: 電子書