Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/cd5e5fe2220db7f30afd7700f2c3ebe8faf1166f0969e35f31b21738757a9ecf> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- cd5e5fe2220db7f30afd7700f2c3ebe8faf1166f0969e35f31b21738757a9ecf author1Link "James H. Davenport".
- cd5e5fe2220db7f30afd7700f2c3ebe8faf1166f0969e35f31b21738757a9ecf first1 "James H.".
- cd5e5fe2220db7f30afd7700f2c3ebe8faf1166f0969e35f31b21738757a9ecf first2 "Joos".
- cd5e5fe2220db7f30afd7700f2c3ebe8faf1166f0969e35f31b21738757a9ecf isCitedBy Real_closed_field.
- cd5e5fe2220db7f30afd7700f2c3ebe8faf1166f0969e35f31b21738757a9ecf journal "J. Symb. Comput.".
- cd5e5fe2220db7f30afd7700f2c3ebe8faf1166f0969e35f31b21738757a9ecf last1 "Davenport".
- cd5e5fe2220db7f30afd7700f2c3ebe8faf1166f0969e35f31b21738757a9ecf last2 "Heintz".
- cd5e5fe2220db7f30afd7700f2c3ebe8faf1166f0969e35f31b21738757a9ecf number "1-2".
- cd5e5fe2220db7f30afd7700f2c3ebe8faf1166f0969e35f31b21738757a9ecf pages "29–35".
- cd5e5fe2220db7f30afd7700f2c3ebe8faf1166f0969e35f31b21738757a9ecf title "Real quantifier elimination is doubly exponential".
- cd5e5fe2220db7f30afd7700f2c3ebe8faf1166f0969e35f31b21738757a9ecf volume "5".
- cd5e5fe2220db7f30afd7700f2c3ebe8faf1166f0969e35f31b21738757a9ecf year "1988".
- cd5e5fe2220db7f30afd7700f2c3ebe8faf1166f0969e35f31b21738757a9ecf zbl "0663.03015".