Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Informatik 13 Treffer
- Theoretische Informatik 11 Treffer
- Logische Programmierung 10 Treffer
- Programmierlogik 9 Treffer
- Beweistheorie 5 Treffer
-
45 weitere Werte:
- Künstliche Intelligenz 5 Treffer
- Automatisches Beweisverfahren 4 Treffer
- Datenverarbeitung 4 Treffer
- Mathematische Logik 3 Treffer
- Computational logic 2 Treffer
- Komplexitätstheorie 2 Treffer
- Programmierung 2 Treffer
- Algorithmus 1 Treffer
- Approximatives Schließen 1 Treffer
- Argumentation 1 Treffer
- Argumentationstheorie 1 Treffer
- Baumautomat 1 Treffer
- Berechenbare Funktion 1 Treffer
- Berechnungskomplexität 1 Treffer
- Berechnungstheorie 1 Treffer
- Bewachte Logik 1 Treffer
- Beweisführung 1 Treffer
- Büchi-Automat 1 Treffer
- Common Sense 1 Treffer
- Computer 1 Treffer
- Deduktion 1 Treffer
- Deontische Logik 1 Treffer
- Fuzzy-logisches Schließen 1 Treffer
- Handlungslogik 1 Treffer
- Kombinatorik 1 Treffer
- Mathematik 1 Treffer
- Matrizentheorie 1 Treffer
- Mehragentensystem 1 Treffer
- Model Checking 1 Treffer
- Monade (Mathematik) 1 Treffer
- My-Kalkül 1 Treffer
- Natürliche Sprache 1 Treffer
- Negation 1 Treffer
- Netzwerk 1 Treffer
- Nichtmonotone Logik 1 Treffer
- Nichtmonotones Schließen 1 Treffer
- Normative Logik 1 Treffer
- Problemlösen 1 Treffer
- Semantik 1 Treffer
- Sprachverarbeitung 1 Treffer
- Stufe 2 1 Treffer
- Unendliches Spiel 1 Treffer
- Verteiltes System 1 Treffer
- Wissensbasiertes System 1 Treffer
- Wissensverarbeitung 1 Treffer
Sprache
Form
Person
- Börger, Egon 6 Treffer
- Aczel, Peter 1 Treffer
- Baaz, Matthias (1960-) 1 Treffer
- Basin, David 1 Treffer
- Benthem, Johan van (1949-) 1 Treffer
-
31 weitere Werte:
- Bläsius, Karl Hans (1952-) 1 Treffer
- Bradfield, Julian Charles 1 Treffer
- Brewka, Gerhard 1 Treffer
- Bridges, Douglas S. (1945-) 1 Treffer
- Clote, Peter 1 Treffer
- Crocco, Gabriella 1 Treffer
- Dalen, Dirk van (1932-) 1 Treffer
- Flesca, Sergio (1971-) 1 Treffer
- Flum, Jörg 1 Treffer
- Fribourg, Laurent 1 Treffer
- Furbach, Ulrich (1948-) 1 Treffer
- Gabbay, Dov M. (1945-) 1 Treffer
- Grädel, Erich (1958-) 1 Treffer
- Huet, Gérard 1 Treffer
- Kleine Büning, Hans (1948-) 1 Treffer
- Kowalski, Robert (1941-) 1 Treffer
- Leivant, Daniel 1 Treffer
- Lenski, Wolfgang (1952-) 1 Treffer
- Lomuscio, Alessio 1 Treffer
- Loveland, Donald W. (1934-) 1 Treffer
- Marcinkowski, Jerzy 1 Treffer
- Nerode, Anil (1932-) 1 Treffer
- Ong, Luke 1 Treffer
- Pacholski, Leszek 1 Treffer
- Richter, Michael M. (1938-2020) 1 Treffer
- Sandford, David M. 1 Treffer
- Sieg, Wilfried 1 Treffer
- Stern, August (1945-) 1 Treffer
- Wang, Hao (1921-1995) 1 Treffer
- Wenzel, Günter 1 Treffer
- Ésik, Zoltán (1951-2016) 1 Treffer
42 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
1. print.. - Rockville, Md.: Computer Science Pr, 1988Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
New York [u.a.]: North Holland, 1979Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1991Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1980Monographie, Gedruckte RessourceZugriff:
-
Chichester: Horwood, 1989Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: