Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 6 Treffer
- Nichtmonotones Schließen 5 Treffer
- Datenbanksystem 4 Treffer
- Künstliche Intelligenz 4 Treffer
- Begriffsgraph 2 Treffer
-
39 weitere Werte:
- Logischer Schluss 2 Treffer
- Logisches Diagramm 2 Treffer
- Problemlösen 2 Treffer
- Wissensbasiertes System 2 Treffer
- Abduktion (Logik) 1 Treffer
- Algorithmus 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Datenstruktur 1 Treffer
- Disjunktion (Logik) 1 Treffer
- Dynamische Logik 1 Treffer
- Epistemische Logik 1 Treffer
- Expert systems (Computer science) 1 Treffer
- Expertensystem 1 Treffer
- Formale Semantik 1 Treffer
- Funktionale Programmierung 1 Treffer
- Generierung (Sprache) 1 Treffer
- Graphentheorie 1 Treffer
- Knowledge representation (Information theory) 1 Treffer
- Kontext 1 Treffer
- Logic, Symbolic and mathematical 1 Treffer
- Modellbasiertes Schließen 1 Treffer
- Modellierung 1 Treffer
- Natürlichsprachiges System 1 Treffer
- Nebenläufigkeit 1 Treffer
- Negation 1 Treffer
- Objektorientierung 1 Treffer
- Probabilistischer Algorithmus 1 Treffer
- Probabilistisches Schließen 1 Treffer
- Prädikatenlogik 1 Treffer
- Qualitatives Schließen 1 Treffer
- Sprachverarbeitung 1 Treffer
- Suchmaschine 1 Treffer
- Suchverfahren 1 Treffer
- Teil-Ganzes-Beziehung 1 Treffer
- Terminologische Logik 1 Treffer
- Textproduktion 1 Treffer
- Vererbung (Informatik) 1 Treffer
- Wahrscheinlichkeitstheorie 1 Treffer
- Wahrscheinlichkeitsverteilung 1 Treffer
Sprache
Form
Person
- Alferes, José Júlio 1 Treffer
- Allwein, Gerard 1 Treffer
- Baral, Chitta 1 Treffer
- Bouquet, Paolo 1 Treffer
- Carpenter, Bob 1 Treffer
-
19 weitere Werte:
- Chandrasekaran, B. 1 Treffer
- Dau, Frithjof 1 Treffer
- Dix, Jürgen 1 Treffer
- Eiter, Thomas 1 Treffer
- Gelfond, Michael 1 Treffer
- Hansson, Sven Ove (1951-) 1 Treffer
- Kanchana Kanchanasut 1 Treffer
- Konrad, Karsten 1 Treffer
- Lakemeyer, Gerhard 1 Treffer
- Lambrix, Patrick (1965-) 1 Treffer
- Laurière, Jean-Louis 1 Treffer
- Levesque, Hector J. (1951-) 1 Treffer
- Lifschitz, Vladimir (1947-) 1 Treffer
- Maes, Pattie (1961-) 1 Treffer
- Moor, Aldo de 1 Treffer
- Nebel, Bernhard 1 Treffer
- Palay, Andrew J. 1 Treffer
- Pereira, Luís Moniz (1947-) 1 Treffer
- Wagner, Gerd 1 Treffer
22 Treffer
-
Berlin [u.a.]: Springer, 1996Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. [Dr.]. - New York [u.a.]: Prentice Hall, 1990Monographie, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Pitman, 1985Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 2000Monographie, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer Academic, 1999Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland [Publ. Co.], 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Menlo Park, Calif. [u.a.]: AAAI Press [u.a.], 1995Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1992Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Oxford University Press, 1996Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Monographie, Gedruckte RessourceZugriff: