Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Algorithmus 1 Treffer
- Approximatives Schließen 1 Treffer
- Baumautomat 1 Treffer
- Bewachte Logik 1 Treffer
- Büchi-Automat 1 Treffer
-
12 weitere Werte:
- Datenverarbeitung 1 Treffer
- Fuzzy-logisches Schließen 1 Treffer
- Logische Programmierung 1 Treffer
- Model Checking 1 Treffer
- Monade (Mathematik) 1 Treffer
- My-Kalkül 1 Treffer
- Programmierung 1 Treffer
- Stufe 2 1 Treffer
- Unendliches Spiel 1 Treffer
- Verteiltes System 1 Treffer
- Wissensbasiertes System 1 Treffer
- Zweipersonenspiel 1 Treffer
Sprache
Person
4 Treffer
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
1. print.. - Rockville, Md.: Computer Science Pr, 1988Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Oxford [u.a.]: Clarendon Press, 1995Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: