FN ISI Export Format VR 1.0 PT J TI Wissenschaftliches Rechnen mit Ergebnisverifikation - Eine Einführung AF Kulisch, Ulrich Geörg, Stefan Ratz, Dietmar AU Kulisch, U Geörg, S Ratz, D PY 1989 ER