Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-540-32254-2_8> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 978-3-540-32254-2_8 authorlink2 "Andrei Voronkov".
- 978-3-540-32254-2_8 chapter "Solving First-Order Constraints over the Monadic Class".
- 978-3-540-32254-2_8 doi "10.1007/978-3-540-32254-2_8".
- 978-3-540-32254-2_8 first1 "D.".
- 978-3-540-32254-2_8 first2 "A.".
- 978-3-540-32254-2_8 isCitedBy Andrei_Voronkov.
- 978-3-540-32254-2_8 isbn "978-3-540-25051-7".
- 978-3-540-32254-2_8 last1 "Chubarov".
- 978-3-540-32254-2_8 last2 "Voronkov".
- 978-3-540-32254-2_8 pages "132".
- 978-3-540-32254-2_8 series "Lecture Notes in Computer Science".
- 978-3-540-32254-2_8 title "Mechanizing Mathematical Reasoning".
- 978-3-540-32254-2_8 volume "2605".
- 978-3-540-32254-2_8 year "2005".