检索到 1 条 分类号=O11 主题=mathematics 文献类型=西文图书 的结果
-
西文图书1.Computation, proof, machine : mathematics enters a new age / First English edition. O11/BD1
馆藏复本：1
可借复本：0 Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) ; translat...
Cambridge University Press, c2015.
(0) 馆藏
