-
中文图书1.Python数学建模算法与应用 O141.4/134/3
馆藏复本:2
可借复本:2 司守奎, 孙玺菁主编
国防工业出版社 2022
(0) 馆藏 -
中文图书2.交互式定理证明与程序开发:Coq归纳构造演算的艺术:coq'art: the calculus of inductive constructions O141/252
馆藏复本:3
可借复本:3 Yves Bertot,Pierre Casteran著
清华大学出版社 2010
(0) 馆藏