Computation, Proof, Machine: Mathematics Enters a New Age

Publisher: Cambridge University Press

Type: Physical Book

Language: English

Pages: 161

Release Date: 2015-01-01

ISBN 10: 0521118018

ISBN 13: 9780521118019

Readers: 1

Country: United States of America