Dolzmann, A. (2000). Algorithmic strategies for applicable real quantifier elimination.
Chicago-Zitierstil (17. Ausg.)Dolzmann, Andreas. Algorithmic Strategies for Applicable Real Quantifier Elimination. Passau, 2000.
MLA-Zitierstil (9. Ausg.)Dolzmann, Andreas. Algorithmic Strategies for Applicable Real Quantifier Elimination. 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.