Property | Value |
---|---|
dcterms:bibliographicCitation | <http://dblp.uni-trier.de/rec/bibtex/journals/bsl/Urquhart16> |
dc:creator | <https://dblp.l3s.de/d2r/resource/authors/Alasdair_Urquhart> |
foaf:homepage | <http://dx.doi.org/doi.org%2F10.1017%2Fbsl.2016.19> |
foaf:homepage | <https://doi.org/10.1017/bsl.2016.19> |
dc:identifier | DBLP journals/bsl/Urquhart16 (xsd:string) |
dc:identifier | DOI doi.org%2F10.1017%2Fbsl.2016.19 (xsd:string) |
dcterms:issued | 2016 (xsd:gYear) |
swrc:journal | <https://dblp.l3s.de/d2r/resource/journals/bsl> |
rdfs:label | S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing: Computing the World. Cambridge University Press, 2016. xviii + 379 pp. - therein: - Martin Davis. Algorithms, Equations, and Logic. pp. 4-19. - J.M.E. Hyland. The Forgotten Turing. pp. 20-33. - Andrew R. Booker. Turing and the Primes. pp. 34-52. - Ueli Maurer. Cryptography and Computation after Turing. pp. 53-77. - Kanti V. Mardia and S. Barry Cooper. Alan Turing and Enigmatic Statistics. pp. 78-89. - Stephen Wolfram. What Alan Turing Might Have Discovered. pp. 92-105. - Christof Teuscher. Designed versus Intrinsic Computation. pp. 106-116. - Solomon Feferman. Turing's 'Oracle': From Absolute to Relative Computability and Back. pp. 300-334. - P.D. Welch. Turing Transcendent: Beyond the Event Horizon. pp. 335-360. - Roger Penrose. On Attempting to Model the Mathematical Mind. pp. 361-378. (xsd:string) |
foaf:maker | <https://dblp.l3s.de/d2r/resource/authors/Alasdair_Urquhart> |
swrc:number | 3 (xsd:string) |
swrc:pages | 354-356 (xsd:string) |
owl:sameAs | <http://bibsonomy.org/uri/bibtexkey/journals/bsl/Urquhart16/dblp> |
owl:sameAs | <http://dblp.rkbexplorer.com/id/journals/bsl/Urquhart16> |
rdfs:seeAlso | <http://dblp.uni-trier.de/db/journals/bsl/bsl22.html#Urquhart16> |
rdfs:seeAlso | <https://doi.org/10.1017/bsl.2016.19> |
dc:title | S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing: Computing the World. Cambridge University Press, 2016. xviii + 379 pp. - therein: - Martin Davis. Algorithms, Equations, and Logic. pp. 4-19. - J.M.E. Hyland. The Forgotten Turing. pp. 20-33. - Andrew R. Booker. Turing and the Primes. pp. 34-52. - Ueli Maurer. Cryptography and Computation after Turing. pp. 53-77. - Kanti V. Mardia and S. Barry Cooper. Alan Turing and Enigmatic Statistics. pp. 78-89. - Stephen Wolfram. What Alan Turing Might Have Discovered. pp. 92-105. - Christof Teuscher. Designed versus Intrinsic Computation. pp. 106-116. - Solomon Feferman. Turing's 'Oracle': From Absolute to Relative Computability and Back. pp. 300-334. - P.D. Welch. Turing Transcendent: Beyond the Event Horizon. pp. 335-360. - Roger Penrose. On Attempting to Model the Mathematical Mind. pp. 361-378. (xsd:string) |
dc:type | <http://purl.org/dc/dcmitype/Text> |
rdf:type | swrc:Article |
rdf:type | foaf:Document |
swrc:volume | 22 (xsd:string) |