Dagstuhl Seminar on Symbolic, Algebraic and Validated Numerical Computation (1 : 1992 : Dagstuhl) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wadern