Suche verfeinern
-
Teilbibliothek
- Mathematik und Infor… (766)
- Ohne Zuordnung (517)
- Stammgelände (224)
- Maschinenwesen (3)
-
Dokumenttyp
- Buch (1432)
- Konferenzbericht (871)
- E-Book (520)
- E-Medien (514)
- (mit) Illustration (310)
- Mehr anzeigen …
-
Fach
- Informatik (1452)
- Mathematik (130)
- Elektrotechnik (4)
- Philosophie, Ethik (2)
- Allg. Technik/Ingeni… (1)
- Mehr anzeigen …
-
Schlagwort
- Logische Programmierung (433)
- Automatisches Beweis… (336)
- Künstliche Intelligenz (169)
- Logik (119)
- Constraint-Programmi… (107)
- Mehr anzeigen …
-
Jahr
- <=1990 (168)
- 1991 - 2001 (646)
- 2002 - 2012 (423)
- >=2013 (215)
-
Sprache
- Englisch (1200)
- Deutsch (190)
- Ohne Zuordnung (64)
- Französisch (2)
- Niederländisch (1)
-
Verfasser
- Calmet, Jacques (13)
- Apt, Krzysztof R. (10)
- Dix, Jürgen (10)
- Hanus, Michael (9)
- Bruynooghe, Maurice (8)
- Mehr anzeigen …
- Institution
Volltextzugriff auf E-Medien
Authentifizierung: erforderlich
TUM-Mitarbeiter und Studierende:
Externe Kundinnen und Kunden:
Lesesaal-PCs nutzen
Ihre IP-Adresse: 3.147.63.205
Werkzeugkasten
- Fachliche Suche mit der TUM-Systematik
- Standorte ermitteln mit der Standortliste
- OPAC-FAQ
Nicht das Richtige gefunden?
chat loading...