Symposium on Quantifier Elimination and Cylindrical Algebraic Decomposition (1993 : Linz) Bezüge im Wissensnetz Veranstaltungsort (1) GND Linz