2017-03-17
Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, {ISBN} 978-0-521-11801-9, 152 pages
Publication
Publication
Theory and Practice of Logic Programming , Volume 17 - Issue 3 p. 353- 358
Additional Metadata | |
---|---|
doi.org/10.1017/S1471068417000011 | |
Theory and Practice of Logic Programming | |
Organisation | CWI management |
Apt, K. (2017, March 17). Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, {ISBN} 978-0-521-11801-9, 152 pages. Theory and Practice of Logic Programming. doi:10.1017/S1471068417000011 |