Options
Algorithmen mit Ergebnisverifikation : einige Bemerkungen zu neueren Entwicklungen
Publikationstyp
Journal Article
Date Issued
1994
Sprache
German
Author(s)
Institut
TORE-URI
Volume
1994
Start Page
47
End Page
73
Citation
Jahrbuch Überblicke Mathematik (1994) 47-73 (1994)
Publisher
Vieweg
DDC Class
510: Mathematik