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