Suche verfeinern
-
Teilbibliothek
- Mathematik und Infor… (53)
- Stammgelände (35)
- Ohne Zuordnung (14)
- Chemie (2)
- Maschinenwesen (2)
- Mehr anzeigen …
-
Dokumenttyp
- Buch (99)
- Dissertation, Hochsc… (29)
- (mit) Illustration (15)
- Konferenzbericht (14)
- E-Book (13)
- Mehr anzeigen …
-
Fach
- Mathematik (101)
- Informatik (39)
- Allg. Naturwissenschaft (1)
- Erziehungswissenscha… (1)
- Philosophie, Ethik (1)
-
Schlagwort
- Beweistheorie (41)
- Mathematik (19)
- Mathematische Logik (15)
- Automatisches Beweis… (14)
- Beweis (14)
- Mehr anzeigen …
-
Jahr
- <=1988 (22)
- 1989 - 1996 (39)
- 1997 - 2006 (23)
- >=2009 (17)
-
Sprache
- Englisch (73)
- Deutsch (23)
- Ohne Zuordnung (6)
- Russisch (1)
- Verfasser
- Institution
Volltextzugriff auf E-Medien
Authentifizierung: erforderlich
TUM-Mitarbeiter und Studierende:
Externe Kundinnen und Kunden:
Lesesaal-PCs nutzen
Ihre IP-Adresse: 3.14.12.110
Werkzeugkasten
- Fachliche Suche mit der TUM-Systematik
- Standorte ermitteln mit der Standortliste
- OPAC-FAQ
Nicht das Richtige gefunden?
chat loading...