Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-642-04617-9_55> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 978-3-642-04617-9_55 authorlink2 "Andrei Voronkov".
- 978-3-642-04617-9_55 chapter "Comparing Unification Algorithms in First-Order Theorem Proving".
- 978-3-642-04617-9_55 doi "10.1007/978-3-642-04617-9_55".
- 978-3-642-04617-9_55 first1 "K. T.".
- 978-3-642-04617-9_55 first2 "A.".
- 978-3-642-04617-9_55 isCitedBy Andrei_Voronkov.
- 978-3-642-04617-9_55 isbn "978-3-642-04616-2".
- 978-3-642-04617-9_55 last1 "Hoder".
- 978-3-642-04617-9_55 last2 "Voronkov".
- 978-3-642-04617-9_55 pages "435".
- 978-3-642-04617-9_55 series "Lecture Notes in Computer Science".
- 978-3-642-04617-9_55 title "KI 2009: Advances in Artificial Intelligence".
- 978-3-642-04617-9_55 volume "5803".
- 978-3-642-04617-9_55 year "2009".