2026-09-20T03:16:45Zhttps://elekpub.bib.uni-wuppertal.de/oai/

oai:elekpub.bib.uni-wuppertal.de:74182542024-02-07T11:01:30ZubwhsmigoaDoctoralThesis

vls/2603noah-balancer_mdapi1elekpub.bib.uni-wuppertal.devdVerifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten ProgrammierumgebungenSteins, AndreasVerfasserauttextthesisthesisdoctoralThesisgwXA-DE1995single unitgerelectronicelectronic resourceremote1 Computerdatei (ca. 675 KB) Auszüge (Titel, Inhaltsverzeichnis, ca. 52 KB)vorgelegt von Andreas SteinsSystemvoraussetzungen: Internet-Anschluss; Acrobat-ReaderWuppertal, Univ., Diss.Systemvoraussetzungen Internet-Anschluss; Acrobat-ReaderWuppertalurn:nbn:de:hbz:468-20231215-161605-01071453833990101079940206441Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten ProgrammierumgebungenSteins, AndreasDruck-AusgabeHT007211021https://elekpub.bib.uni-wuppertal.de/urn/urn:nbn:de:hbz:468-20231215-161605-0https://nbn-resolving.org/urn:nbn:de:hbz:468-20231215-161605-0Open AccessRS INC 1.0publicrakwb00012620240208152639.0HT011212326ger https://elekpub.bib.uni-wuppertal.de//domainresource/static/graphics/connectors/viewerLogo.gifWuppertal : Bergische Universität Wuppertalreserved https://ub-wuppertal.digibib.net/search/katalog/record/(DE-605)HT011212326 https://elekpub.bib.uni-wuppertal.de/id/7418254 https://elekpub.bib.uni-wuppertal.de/i3f/v20/7418254/manifest https://elekpub.bib.uni-wuppertal.de/proto_ftsearch/7418254