Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-540-25984-8_28> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 978-3-540-25984-8_28 accessdate "2009-12-16".
- 978-3-540-25984-8_28 author2 "Lawrence C. Paulson".
- 978-3-540-25984-8_28 date "2004".
- 978-3-540-25984-8_28 doi "10.1007/978-3-540-25984-8_28".
- 978-3-540-25984-8_28 first "Jia".
- 978-3-540-25984-8_28 isCitedBy E_theorem_prover.
- 978-3-540-25984-8_28 journal "LNCS".
- 978-3-540-25984-8_28 last "Meng".
- 978-3-540-25984-8_28 pages "372–384".
- 978-3-540-25984-8_28 publisher "Springer".
- 978-3-540-25984-8_28 title "Experiments on Supporting Interactive Proof Using Resolution".
- 978-3-540-25984-8_28 url "http://www.springerlink.com/content/btx6b2rrewvmjc9y/".
- 978-3-540-25984-8_28 volume "3097".