Computation, proof, machine - mathematics enters a new age
- Författare
- Gilles. Dowek
- (Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) translated from the French by Pierre Guillot and Marion Roman.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 2015 | New York, New York, NY | viii, 152 pages : illustrations 22 cm | 978-0-521-11801-9, 978-0-521-13377-7 |
| 2015 | Utgivningsland okänt / Ej specificerat |