Semimorphe Arithmetik zur Automatischen Ergebnisverifikation auf Vektorrechnern
By: Lutz Schmidt
Published: 1992
Language: ger
Number of pages: 150
Notes: Thesis (doctoral)--Technische Hochschule Karlsruhe, 1992.