Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Algebraische Spezifikation 2 Treffer
- Formale Methode 2 Treffer
- Graphersetzungssystem 2 Treffer
- Logik 2 Treffer
- Natürliche Sprache 2 Treffer
-
44 weitere Werte:
- Softwareentwicklung 2 Treffer
- Universelle Turing-Maschine 2 Treffer
- Wissensbasiertes System 2 Treffer
- Approximatives Schließen 1 Treffer
- Aufsatzsammlung 1 Treffer
- Automatentheorie 1 Treffer
- Baumautomat 1 Treffer
- Berechnungstheorie 1 Treffer
- Bewachte Logik 1 Treffer
- Biocomputer 1 Treffer
- Biomembran 1 Treffer
- Biomolekül 1 Treffer
- Büchi, Julius Richard (1924-1984) 1 Treffer
- Büchi-Automat 1 Treffer
- Computerlinguistik 1 Treffer
- DNS 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Deduktionssystem 1 Treffer
- Entscheidungsproblem 1 Treffer
- Fuzzy-logisches Schließen 1 Treffer
- Hardwarebeschreibungssprache 1 Treffer
- Hardwareentwurf 1 Treffer
- Hardwareverifikation 1 Treffer
- Lindenmayer-System 1 Treffer
- Logische Programmierung 1 Treffer
- Maschinelles Lernen 1 Treffer
- Mathematische Lerntheorie 1 Treffer
- Mensch-Maschine-Kommunikation 1 Treffer
- Model Checking 1 Treffer
- Monade (Mathematik) 1 Treffer
- Multimenge 1 Treffer
- My-Kalkül 1 Treffer
- Neuronales Netz 1 Treffer
- Objektorientierung 1 Treffer
- Parallelverarbeitung 1 Treffer
- Parser 1 Treffer
- SIMULA 1 Treffer
- Stufe 2 1 Treffer
- Systemmodell 1 Treffer
- Termersetzungssystem 1 Treffer
- Unendliches Spiel 1 Treffer
- Unifikationstheorie 1 Treffer
- Zellularer Automat 1 Treffer
- Zweipersonenspiel 1 Treffer
Sprache
Form
Person
- Herken, Rolf 2 Treffer
- Büchi, Julius Richard (1924-1984) 1 Treffer
- Calude, Cristian (1952-) 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Ehrig, Hartmut (1944-2016) 1 Treffer
-
17 weitere Werte:
- Fermüller, Christian 1 Treffer
- Garzon, Max 1 Treffer
- Grädel, Erich (1958-) 1 Treffer
- Head, Tom 1 Treffer
- Jantke, Klaus P. 1 Treffer
- Jonoska, Nataša 1 Treffer
- Kirchner, Claude 1 Treffer
- Kreowski, Hans-Jörg 1 Treffer
- Lenski, Wolfgang (1952-) 1 Treffer
- Mac Lane, Saunders (1909-2005) 1 Treffer
- Möller, Bernhard 1 Treffer
- Owe, Olaf (1951-) 1 Treffer
- Richter, Michael M. (1938-2020) 1 Treffer
- Rozenberg, Grzegorz (1942-) 1 Treffer
- Saint-Dizier, Patrick (1954-) 1 Treffer
- Sleep, M. R. 1 Treffer
- Tomita, Masaru 1 Treffer
19 Treffer
-
Boston [u.a.]: Kluwer, 1991Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Bibliografie, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1993Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 1992Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Monographie, Aufsatzsammlung, Bibliografie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Monographie, Aufsatzsammlung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Horwood, 1990Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Norwood, NJ: Ablex Publ, 1985-1995Zeitschrift, Aufsatzsammlung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - Wien [u.a.]: Springer, 1995Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Acad. Pr, 1990Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Hamburg [u.a.]: Kammerer & Unverzagt, 1988Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: