Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/s0747-7171(88)80015-4> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- s0747-7171(88)80015-4 doi "10.1016/S0747-717180015-4".
- s0747-7171(88)80015-4 first1 "D.".
- s0747-7171(88)80015-4 isCitedBy Quartic_function.
- s0747-7171(88)80015-4 journal "Journal of Symbolic Computation".
- s0747-7171(88)80015-4 last1 "Lazard".
- s0747-7171(88)80015-4 pages "261–266".
- s0747-7171(88)80015-4 title "Quantifier elimination: Optimal solution for two classical examples".
- s0747-7171(88)80015-4 volume "5".
- s0747-7171(88)80015-4 year "1988".