-
中文图书1.几何定理机器证明的基本原理,初等几何部分 O18-39/1
馆藏复本:0
可借复本:0 吴文俊著
科学出版社 1984
(0) 馆藏 -
中文图书2.交互式定理证明与程序开发:Coq归纳构造演算的艺术:Coq'art: the calculus of inductive constructions O141-39/1
馆藏复本:0
可借复本:0 Yves Bertot,Pierre Casteran著
清华大学出版社 2010
(0) 馆藏 -
中文图书3.几何定理机器证明的基本原理.初等几何部分 O18-39/1
馆藏复本:2
可借复本:2 吴文俊著
科学出版社 1984.08
(0) 馆藏