-
西文图书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) 馆藏