Computation, proof, machine : mathematics enters a new age / Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) ; translated from the French by Pierre Guillot and Marion Roman.
| Author/creator |
Dowek, Gilles |
| Other author/creator | Guillot, Pierre, 1978- |
| Other author/creator | Roman, Marion. |
| Format | Book and Print |
| Edition | First English edition. |
| Publication Info | New York, NY : Cambridge University Press, 2015. |
| Description | viii, 152 pages : illustrations ; 22 cm |
| Subject(s) |
Click here for more information about this title
| Portion of title | Mathematics enters a new age |
| Bibliography note | Includes bibliographical references (pages 149-152) and index. |
| Language | Text in English. |
| Genre/form | History. |
| LCCN | 2015004116 |
| ISBN | 9780521118019 (hardback) |
| ISBN | 0521118018 (hardback) |
| ISBN | 9780521133777 (paperback) |
| ISBN | 0521133777 (paperback) |
Available Items
| Library | Location | Call Number | Status | Item Actions | |
| Joyner | General Stacks | QA26 .D69 2015 | ✔ Available | Place Hold |