Scientific Computation with Automatic Result Verification (1987 : Karlsruhe) Bezüge im Wissensnetz Veranstaltungsort (1) GND Karlsruhe