Computation, Proof, Machine: Mathematics Enters a New Age

Computation, Proof, Machine: Mathematics Enters a New Age

ByGilles Dowek,Pierre Guillot(Translator),+1 more
2015 • 161 pages
Nitin
Nitin Rughoonauth
Added to listMy Library
Saved as Want To Read