> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Asymptotic Reasoning in a Proof Assistant Beteiligte: Eberl, Manuel [VerfasserIn]; Nipkow, Tobias [AkademischeR BetreuerIn]; Nipkow, Tobias [Sonstige Person, Familie und Körperschaft]; Dahmen, Sander R. [Sonstige Person, Familie und Körperschaft] Erschienen: München: Universitätsbibliothek der TU München, 2021 Umfang: 1 Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: Dissertation, München, Technische Universität München, 2021 Anmerkungen: Zugangsstatus: Freier Zugang