Computation, Proof, Machine

Author

Gilles Dowek; Pierre Guillot (Translator); Marion Roman (Translator)

Publish Date

2015-05-05

Subtitle

Mathematics Enters a New Age

Book Type

Hardcover

Number of Pages

158

Publisher Name

54

ISBN-10

0521118018

ISBN-13

9780521118019

citemno

187940

SKU

9780521118019