Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-642-15582-6_30> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- 978-3-642-15582-6_30 authorlink3 "Andrei Voronkov".
- 978-3-642-15582-6_30 chapter "Evaluation of Automated Theorem Proving on the Mizar Mathematical Library".
- 978-3-642-15582-6_30 doi "10.1007/978-3-642-15582-6_30".
- 978-3-642-15582-6_30 first1 "J.".
- 978-3-642-15582-6_30 first2 "K.".
- 978-3-642-15582-6_30 first3 "A.".
- 978-3-642-15582-6_30 isCitedBy Vampire_(theorem_prover).
- 978-3-642-15582-6_30 isbn "978-3-642-15581-9".
- 978-3-642-15582-6_30 last1 "Urban".
- 978-3-642-15582-6_30 last2 "Hoder".
- 978-3-642-15582-6_30 last3 "Voronkov".
- 978-3-642-15582-6_30 pages "155".
- 978-3-642-15582-6_30 series "Lecture Notes in Computer Science".
- 978-3-642-15582-6_30 title "Mathematical Software – ICMS 2010".
- 978-3-642-15582-6_30 volume "6327".
- 978-3-642-15582-6_30 year "2010".