Matches in DBpedia 2015-10 for { <http://research.microsoft.com/en-us/um/people/gurevich/Opera/188.pdf> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 188.pdf accessdate "2008-10-15".
- 188.pdf author "Nachum Dershowitz".
- 188.pdf author2 "Yuri Gurevich".
- 188.pdf date "September 2008".
- 188.pdf isCitedBy Turing_machine.
- 188.pdf issue "3".
- 188.pdf journal "Bulletin of Symbolic Logic".
- 188.pdf title "A natural axiomatization of computability and proof of Church's Thesis".
- 188.pdf url 188.pdf.
- 188.pdf volume "14".