Mathematics - History - 20th century.

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

Computation, proof, machine : mathematics enters a new age by: Guillot, Pierre (1978-); Roman, Marion; Dowek, Gilles (書目-語言資料,印刷品)