Bibliographic Metadata

• Title
  Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten Programmierumgebungen / vorgelegt von Andreas Steins
• Author
  Steins, Andreas
• Published
  1995
• Description
  1 Computerdatei (ca. 675 KB) : Auszüge (Titel, Inhaltsverzeichnis, ca. 52 KB)
• Institutional Note
  Wuppertal, Univ., Diss.
• Annotation
  Systemvoraussetzungen: Internet-Anschluss; Acrobat-Reader
• Language
  German
• Document type
  Dissertation (PhD)
• URN
  urn:nbn:de:hbz:468-20231215-161605-0