Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-642-02614-0_14> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 978-3-642-02614-0_14 contribution "Combined decision techniques for the existential theory of the reals".
- 978-3-642-02614-0_14 doi "10.1007/978-3-642-02614-0_14".
- 978-3-642-02614-0_14 first1 "Grant Olney".
- 978-3-642-02614-0_14 first2 "Paul B.".
- 978-3-642-02614-0_14 isCitedBy Existential_theory_of_the_reals.
- 978-3-642-02614-0_14 last1 "Passmore".
- 978-3-642-02614-0_14 last2 "Jackson".
- 978-3-642-02614-0_14 pages "122–137".
- 978-3-642-02614-0_14 publisher "Springer-Verlag".
- 978-3-642-02614-0_14 series Lecture_Notes_in_Computer_Science.
- 978-3-642-02614-0_14 title "--07-06".
- 978-3-642-02614-0_14 volume "5625".
- 978-3-642-02614-0_14 year "2009".