Proof and Computation : Digitization in Mathematics, Computer Science, and Philosophy

Tác giả : Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg

Nhà xuất bản : World Scientific

Năm xuất bản : 2018