Computation, Proof, Machine: Mathematics Enters a New Age By:…
Computation, Proof, Machine: Mathematics Enters a New Age By: Gilles Dowek, Pierre Guillot, Marion Roman | Ebooks - Computer/Internet | PDF | 2.04 MiB
May 5th 2015 | ISBN: 0521133777 | 160 pages