Computation, Proof, Machine: Mathematics Enters a New Age

Author
Gilles Dowek
Publisher
Cambridge University Press
Language
English
Edition
New
Year
2015
Page
158
ISBN
0521118018,9780521118019
File Type
pdf
File Size
1.4 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book