-
中文图书1.实定理的复证明.影印版 O141/544
馆藏复本:2
可借复本:2 Peter D. Lax,Lawrence Zalcman[著]
高等教育出版社 2017
(0) 馆藏
-
中文图书2.交互式定理证明与程序开发:Coq归纳构造演算的艺术:coq'art: the calculus of inductive constructions O141/252
馆藏复本:3
可借复本:3 Yves Bertot,Pierre Casteran著
清华大学出版社 2010
(0) 馆藏