Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-540-71070-7_36> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 978-3-540-71070-7_36 authorlink2 "Andrei Voronkov".
- 978-3-540-71070-7_36 chapter "Proof Systems for Effectively Propositional Logic".
- 978-3-540-71070-7_36 doi "10.1007/978-3-540-71070-7_36".
- 978-3-540-71070-7_36 first1 "J. A.".
- 978-3-540-71070-7_36 first2 "A.".
- 978-3-540-71070-7_36 isCitedBy Andrei_Voronkov.
- 978-3-540-71070-7_36 isbn "978-3-540-71069-1".
- 978-3-540-71070-7_36 last1 "Navarro".
- 978-3-540-71070-7_36 last2 "Voronkov".
- 978-3-540-71070-7_36 pages "426".
- 978-3-540-71070-7_36 series "Lecture Notes in Computer Science".
- 978-3-540-71070-7_36 title "Automated Reasoning".
- 978-3-540-71070-7_36 volume "5195".
- 978-3-540-71070-7_36 year "2008".