Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1065610521
Link zu diesem Datensatz | https://d-nb.info/1065610521 |
Art des Inhalts | Hochschulschrift |
Titel | Program extraction from coinductive proofs and its application to exact real arithmetic / Kenji Miyamoto. Betreuer: Helmut Schwichtenberg |
Person(en) |
Miyamoto, Kenji (Verfasser) Schwichtenberg, Helmut (Akademischer Betreuer) |
Verlag | München : Universitätsbibliothek der Ludwig-Maximilians-Universität |
Zeitliche Einordnung | Erscheinungsdatum: 2013 |
Umfang/Format | Online-Ressource |
Hochschulschrift | München, Ludwig-Maximilians-Universität, Diss., 2013 |
Persistent Identifier | URN: urn:nbn:de:bvb:19-177777 |
URL | http://edoc.ub.uni-muenchen.de/17777/ (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |