Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-642-03359-9_5> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- 978-3-642-03359-9_5 author2 "Artur Korniłowicz".
- 978-3-642-03359-9_5 doi "10.1007/978-3-642-03359-9_5".
- 978-3-642-03359-9_5 first "Adam".
- 978-3-642-03359-9_5 isCitedBy Mizar_system.
- 978-3-642-03359-9_5 journal "Theorem Proving in Higher Order Logics".
- 978-3-642-03359-9_5 last "Naumowicz".
- 978-3-642-03359-9_5 pages "67–72".
- 978-3-642-03359-9_5 series "Lecture Notes in Computer Science".
- 978-3-642-03359-9_5 title "A Brief Overview of Mizar".
- 978-3-642-03359-9_5 url 08138878w5n05278.
- 978-3-642-03359-9_5 volume "5674".
- 978-3-642-03359-9_5 year "2009".