%0 Journal Article %1 journals/tplp/Apt17 %A Apt, Krzysztof R. %D 2017 %J Theory Pract. Log. Program. %K dblp %N 3 %P 353-358 %T Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, ISBN 978-0-521-11801-9, 152 pages. %U http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#Apt17 %V 17

@article{journals/tplp/Apt17, added-at = {2020-02-13T00:00:00.000+0100}, author = {Apt, Krzysztof R.}, biburl = {https://www.bibsonomy.org/bibtex/2418ffff43728456118d385c7334053c0/dblp}, ee = {https://doi.org/10.1017/S1471068417000011}, interhash = {85077d552e4134748a3d5c7e95aadfa7}, intrahash = {418ffff43728456118d385c7334053c0}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 3, pages = {353-358}, timestamp = {2020-02-14T11:43:39.000+0100}, title = {Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, ISBN 978-0-521-11801-9, 152 pages.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#Apt17}, volume = 17, year = 2017 }