Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-18740-5_105> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- 3-540-18740-5_105 authorlink "Andrei Voronkov".
- 3-540-18740-5_105 chapter "Deductive program synthesis and Markov's principle".
- 3-540-18740-5_105 doi "10.1007/3-540-18740-5_105".
- 3-540-18740-5_105 first1 "A. A.".
- 3-540-18740-5_105 isCitedBy Andrei_Voronkov.
- 3-540-18740-5_105 isbn "978-3-540-18740-0".
- 3-540-18740-5_105 last1 "Voronkov".
- 3-540-18740-5_105 pages "479–482".
- 3-540-18740-5_105 series "Lecture Notes in Computer Science".
- 3-540-18740-5_105 title "Fundamentals of Computation Theory".
- 3-540-18740-5_105 volume "278".
- 3-540-18740-5_105 year "1987".