Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-642-32347-8_1> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 978-3-642-32347-8_1 chapter "Meti Tarski: Past and Future".
- 978-3-642-32347-8_1 doi "10.1007/978-3-642-32347-8_1".
- 978-3-642-32347-8_1 first1 "L. C.".
- 978-3-642-32347-8_1 isCitedBy Lawrence_Paulson.
- 978-3-642-32347-8_1 isbn "978-3-642-32346-1".
- 978-3-642-32347-8_1 last1 "Paulson".
- 978-3-642-32347-8_1 pages "1".
- 978-3-642-32347-8_1 series "Lecture Notes in Computer Science".
- 978-3-642-32347-8_1 title "Interactive Theorem Proving".
- 978-3-642-32347-8_1 volume "7406".
- 978-3-642-32347-8_1 year "2012".