Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/s0747-7171(10)80004-5> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- s0747-7171(10)80004-5 doi "10.1016/S0747-717180004-5".
- s0747-7171(10)80004-5 first "James".
- s0747-7171(10)80004-5 isCitedBy Existential_theory_of_the_reals.
- s0747-7171(10)80004-5 issue "3".
- s0747-7171(10)80004-5 journal Journal_of_Symbolic_Computation.
- s0747-7171(10)80004-5 last "Renegar".
- s0747-7171(10)80004-5 mr "1156883".
- s0747-7171(10)80004-5 pages "301–327".
- s0747-7171(10)80004-5 title "On the computational complexity and geometry of the first-order theory of the reals. II. The general decision problem. Preliminaries for quantifier elimination".
- s0747-7171(10)80004-5 volume "13".
- s0747-7171(10)80004-5 year "1992".