Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 10 Treffer
- Wissensrepräsentation 6 Treffer
- Datenbanksystem 4 Treffer
- Induktive Logik 3 Treffer
- Nichtmonotone Logik 2 Treffer
-
10 weitere Werte:
- Automatisches Beweisverfahren 1 Treffer
- Common sense reasoning 1 Treffer
- Inferenz (Künstliche Intelligenz) 1 Treffer
- Maschinelles Lernen 1 Treffer
- Nonstandard-Logik 1 Treffer
- Programmierung 1 Treffer
- Unsicheres Schließen 1 Treffer
- Unsicherheit 1 Treffer
- Unvollkommene Information 1 Treffer
- Wissenstechnik 1 Treffer
Sprache
Form
Person
16 Treffer
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Symbolic and quantitative approaches to reasoning and uncertainty: European conference ; proceedingsBerlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
San Francisco, Calif.: Morgan Kaufmann, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - San Mateo, Calif.: Morgan Kaufmann Publ, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston, [Mass.] [u.a.]: Kluwer Acad. Publ, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: