Quantifier Elimination and Cylindrical Algebraic Decomposition
-
heftet
,
Engelsk, 1998