Semimorphe Arithmetik zur Automatischen Ergebnisverifikation auf Vektorrechnern
Semimorphe Arithmetik zur Automatischen Ergebnisverifikation auf Vektorrechnern
Lutz Schmidt
Details
OL Work ID
OL42020337W
Find this book
Open Library