An edition of Computation, proof, machine (2015)
Computation, proof, machine
mathematics enters a new age
By Gilles Dowek
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2015
Publisher
Cambridge University Press
Language
eng
Pages
152
1-3 of 3 Editions
Computation, Proof, Machine
Computation, Proof, MachineMathematics Enters a New Age
Language: eng
Published In: 2015
Publisher: Cambridge University Press
Computation, Proof, Machine
Computation, Proof, MachineMathematics Enters a New Age
Language: eng
Published In: 2015
Publisher: Cambridge University Press
Computation, proof, machinemathematics enters a new age
Language: eng
Pages: 152
Published In: 2015
Publisher: Cambridge University Press