Research Catalog
Computation, proof, machine : mathematics enters a new age
- Title
- Computation, proof, machine : mathematics enters a new age / Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA), Pierre Guillot, Université de Strasbourg, Marion Roman.
- Author
- Dowek, Gilles.
- Publication
- New York, NY : Cambridge University Press, 2015.
Available Online
Details
- Additional Authors
- Description
- 1 online resource.
- Alternative Title
- Mathematics enters a new age
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- LCCN
- 2015004116
- OCLC
- 908633147
- Author
- Dowek, Gilles.
- Title
- Computation, proof, machine : mathematics enters a new age / Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA), Pierre Guillot, Université de Strasbourg, Marion Roman.
- Publisher
- New York, NY : Cambridge University Press, 2015.
- Type of Content
- text
- Type of Medium
- computer
- Type of Carrier
- online resource
- Bibliography
- Includes bibliographical references and index.
- Connect to:
- Added Author
- Guillot, Pierre, 1978-Roman, Marion.