Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-48660-7_26> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 3-540-48660-7_26 authorlink2 "Andrei Voronkov".
- 3-540-48660-7_26 chapter "Vampire".
- 3-540-48660-7_26 doi "10.1007/3-540-48660-7_26".
- 3-540-48660-7_26 first1 "A.".
- 3-540-48660-7_26 first2 "A.".
- 3-540-48660-7_26 isCitedBy Andrei_Voronkov.
- 3-540-48660-7_26 isbn "978-3-540-66222-8".
- 3-540-48660-7_26 last1 "Riazanov".
- 3-540-48660-7_26 last2 "Voronkov".
- 3-540-48660-7_26 pages "292".
- 3-540-48660-7_26 series "Lecture Notes in Computer Science".
- 3-540-48660-7_26 title "Automated Deduction — CADE-16".
- 3-540-48660-7_26 volume "1632".
- 3-540-48660-7_26 year "1999".