《Proof, Logic and Formalization》是一本圖書，作者是Detlefsen, Michael
基本介紹
- 外文名：Proof, Logic and Formalization
- 作者：Detlefsen, Michael
- 出版時間：1992年2月
- 頁數：252 頁
- ISBN：9780415023351
- 定價：167.24 美元
Proof, Logic and Formalization
相關詞條
- Proof, Logic and Formalization
《Proof, Logic and Formalization》是一本圖書,作者是Detlefsen, Michael外文名 Proof, Logic and Formalization [1] 作者 Detlefsen, Michael 出版時間 1992年2月 頁數 252 頁 ISBN 9780415023351 定價 167.24 美元新手上路 成長任務編輯入門編輯規則本人編輯 我有疑問 內容質疑線上客服官方貼吧意見反饋 投訴建議 舉報...
- 費媛
8. Lu Jianyu, Xie Wanling, Zhu Huibiao, Fei Yuan. A Proof System for MDESL.Proc. SEW-37:The 37th IEEE Software Engineering Workshop, FedCSIS Communication Papers 2017, September, 2017. Prague, Czech Republic.9. Wang Huiwen, Zhu Huibiao, Xiao Lili, Fei Yuan. Formalization and ...
- 詹博華
（8） Formalization of the Fundamental Group in Untyped Set Theory Using Auto2, Interactive Theorem Proving, 2017, 第 1 作者 （9） Auto2, A Saturation-Based Heuristic Prover for Higher-Order Logic, Interactive Theorem Proving, 2016, 第 1 作者 科研項目 （ 1 ） ****C類, 主持, 部委級, 2019-0 1--2020-12
