Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-540-71070-7_24> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- 978-3-540-71070-7_24 accessdate "2009-12-18".
- 978-3-540-71070-7_24 doi "10.1007/978-3-540-71070-7_24".
- 978-3-540-71070-7_24 first "Konstantin".
- 978-3-540-71070-7_24 isCitedBy E_theorem_prover.
- 978-3-540-71070-7_24 journal "LNCS".
- 978-3-540-71070-7_24 last "Korovin".
- 978-3-540-71070-7_24 pages "292–298".
- 978-3-540-71070-7_24 publisher "Springer".
- 978-3-540-71070-7_24 title "iProver—an instantiation-based theorem prover for first-order logic".
- 978-3-540-71070-7_24 url "http://www.cs.manchester.ac.uk/~korovink/my_pub/iprover_descr_08.pdf".
- 978-3-540-71070-7_24 volume "5195".
- 978-3-540-71070-7_24 year "2008".