TY  - THES
AU  - Steins, Andreas
DA  - 1995
DP  - Bergische Universität Wuppertal
LA  - ger
N1  - Systemvoraussetzungen: Internet-Anschluss; Acrobat-Reader
N1  - Wuppertal, Univ., Diss.
PB  - Bergische Universität Wuppertal
PY  - 1995
SP  - 1 Computerdatei (ca. 675 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  - 2024-12-04T08:45:53
ER  -