Suche verfeinern
-
Teilbibliothek
- Mathematik und Infor… (51)
- Stammgelände (23)
- Ohne Zuordnung (11)
-
Dokumenttyp
- Buch (83)
- Dissertation, Hochsc… (29)
- Konferenzbericht (24)
- E-Book (11)
- E-Medien (11)
- Mehr anzeigen …
-
Fach
- Informatik (84)
- Mathematik (7)
-
Schlagwort
- Abstrakter Datentyp (29)
- Typentheorie (16)
- Beweistheorie (12)
- Algebraische Spezifi… (11)
- Datentyp (11)
- Mehr anzeigen …
-
Jahr
- <=1986 (13)
- 1987 - 1991 (23)
- 1992 - 1996 (34)
- >=1997 (14)
-
Sprache
- Englisch (58)
- Deutsch (17)
- Ohne Zuordnung (9)
-
Verfasser
- Berardi, Stefano (4)
- Astesiano, Egidio (2)
- Cardelli, Luca (2)
- Coquand, Thierry (2)
- Dybjer, Peter (2)
- Mehr anzeigen …
- Institution
Volltextzugriff auf E-Medien
Authentifizierung: erforderlich
TUM-Mitarbeiter und Studierende:
Externe Kundinnen und Kunden:
Lesesaal-PCs nutzen
Ihre IP-Adresse: 18.224.63.61
Werkzeugkasten
- Fachliche Suche mit der TUM-Systematik
- Standorte ermitteln mit der Standortliste
- OPAC-FAQ
Nicht das Richtige gefunden?
chat loading...