> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Analysis of methods for extraction of programs from non-constructive proofs Beteiligte: Trifonov, Trifon [Verfasser]; Schwichtenberg, Helmut [Akademischer Betreuer] Erschienen: München: Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: München, Ludwig-Maximilians-Universität, Diss., 2012 Anmerkungen: Zugangsstatus: Freier Zugang