Search results
Catalogue
Search mask
Limit or broaden search results
Access
Media Type
Source Type
Language
Subject
Subject Heading
- Formale Sprache 23 Hits
- Automatentheorie 18 Hits
- Berechenbarkeit 5 Hits
- Berechnungstheorie 3 Hits
- Automat (Automatentheorie) 2 Hits
-
45 additional values:
- Endlicher Automat 2 Hits
- Funktionale Programmierung 2 Hits
- Gruppentheorie 2 Hits
- Kontextfreie Grammatik 2 Hits
- Kontextfreie Sprache 2 Hits
- Logische Programmierung 2 Hits
- Programmiersprache 2 Hits
- Sprache 2 Hits
- Syntaktische Analyse 2 Hits
- Abstrakter Automat 1 Hit
- Algorithmus 1 Hit
- Applied logic 1 Hit
- Automat 1 Hit
- Automatic theorem proving 1 Hit
- Automatisches Beweisverfahren 1 Hit
- Bioinformatik 1 Hit
- Compiler-Compiler 1 Hit
- Computerlinguistik 1 Hit
- Endliche Modelltheorie 1 Hit
- Englisch 1 Hit
- Formal languages 1 Hit
- Formale Beschreibungstechnik 1 Hit
- Formale Semantik 1 Hit
- Geschichte 1971 1 Hit
- Graph-Grammatik 1 Hit
- Graphische Benutzeroberfläche 1 Hit
- Group theory 1 Hit
- Hybrides System 1 Hit
- Hybridrechner 1 Hit
- Kategorialgrammatik 1 Hit
- Lexikalische Analyse 1 Hit
- Linguistik 1 Hit
- Logic, Symbolic and mathematical 1 Hit
- Logik 1 Hit
- Logische Sprache 1 Hit
- Machine theory 1 Hit
- Mathematische Linguistik 1 Hit
- Mathematische Logik 1 Hit
- Natürliche Sprache 1 Hit
- Programmierung 1 Hit
- Programmverifikation 1 Hit
- Prüftheorie 1 Hit
- Reguläre Sprache 1 Hit
- Rekursive Funktion 1 Hit
- Sprachphilosophie 1 Hit
48 Hits
-
Berlin [u.a.]: Springer, 2000Conference proceedings, Edited collection, Printed ResourceAccess:
-
London [u.a.]: Springer, 2000Monograph, Printed ResourceAccess:
-
1. Aufl.. - Stuttgart [u.a.]: Teubner, 2000Monograph, Introduction, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1999Conference proceedings, Edited collection, Printed ResourceAccess:
-
Singapore [u.a.]: World Scientific, 1999Monograph, Printed ResourceAccess:
-
Singapore [u.a.]: World Scientific, 1998Monograph, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1998Conference proceedings, Edited collection, Printed ResourceAccess:
-
Cambridge [u.a.]: Cambridge University Press, 1998Monograph, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1997Edited collection, Part of a work, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1997Edited collection, Part of a work, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1997Edited collection, Part of a work, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1997Conference proceedings, Edited collection, Printed ResourceAccess:
-
München [u.a.]: Oldenbourg, 1995Monograph, Academic Publication, Printed ResourceAccess:
-
2., durchges. Aufl.. - Stuttgart: Teubner, 1995Monograph, Printed ResourceAccess:
-
Mannheim [u.a.]: BI-Wiss.-Verl, 1993Monograph, Printed ResourceAccess:
-
Stuttgart: Teubner, 1992Monograph, Printed ResourceAccess:
-
Stuttgart: Teubner, 1988Monograph, Printed ResourceAccess:
-
3., durchges. Aufl.. - Mannheim [u.a.]: Bibliographisches Institut, 1986Monograph, Printed ResourceAccess:
-
London: North Oxford Academic, 1986Monograph, Printed ResourceAccess:
-
Englewood Cliffs, N.J.: Prentice-Hall, 1982Monograph, Printed ResourceAccess: