Über Expertensysteme für wissenschaftliches Rechnen mit Ergebnisverifikation. - Stefan König 006 (1992)