TY - THES AU - Steins, Andreas DP - Bergische Universität Wuppertal LA - ger N1 - Systemvoraussetzungen: Internet-Anschluss; Acrobat-Reader N1 - Wuppertal, Univ., Diss. N1 - Systemvoraussetzungen Internet-Anschluss; Acrobat-Reader PB - Bergische Universität Wuppertal PY - 1995 SP - 1 Computerdatei (ca. 675 KB) Auszüge (Titel, Inhaltsverzeichnis, ca. 52 KB) TI - Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten Programmierumgebungen UR - https://nbn-resolving.org/urn:nbn:de:hbz:468-20231215-161605-0 Y2 - 2025-04-19T17:37:01 ER -