Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/s0747-7171(10)80005-7> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- s0747-7171(10)80005-7 doi "10.1016/S0747-717180005-7".
- s0747-7171(10)80005-7 first "James".
- s0747-7171(10)80005-7 isCitedBy Existential_theory_of_the_reals.
- s0747-7171(10)80005-7 issue "3".
- s0747-7171(10)80005-7 journal Journal_of_Symbolic_Computation.
- s0747-7171(10)80005-7 last "Renegar".
- s0747-7171(10)80005-7 mr "1156884".
- s0747-7171(10)80005-7 pages "329–352".
- s0747-7171(10)80005-7 title "On the computational complexity and geometry of the first-order theory of the reals. III. Quantifier elimination".
- s0747-7171(10)80005-7 volume "13".
- s0747-7171(10)80005-7 year "1992".