Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Computeralgebra 10 Treffer
- Mathematische Logik 10 Treffer
- Automatisches Beweisverfahren 9 Treffer
- Logik 5 Treffer
- Logische Programmierung 5 Treffer
-
45 weitere Werte:
- Logischer Schluss 5 Treffer
- Problemlösen 5 Treffer
- Soft Computing 5 Treffer
- Immunsystem 4 Treffer
- Nichtmonotones Schließen 4 Treffer
- Wissensrepräsentation 4 Treffer
- Entscheidungsfindung 3 Treffer
- Modell 3 Treffer
- Anwendung 2 Treffer
- Datenverarbeitung 2 Treffer
- Deduktion 2 Treffer
- Expertensystem 2 Treffer
- Mathematik 2 Treffer
- Mehragentensystem 2 Treffer
- Modallogik 2 Treffer
- Nichtmonotone Logik 2 Treffer
- Programmierung 2 Treffer
- Qualitatives Schließen 2 Treffer
- Wissensverarbeitung 2 Treffer
- Aggregationsoperator 1 Treffer
- Algorithmische Geometrie 1 Treffer
- Argumentation 1 Treffer
- Argumentationstheorie 1 Treffer
- Beweistheorie 1 Treffer
- Biowissenschaften 1 Treffer
- Common Sense 1 Treffer
- Data Mining 1 Treffer
- Datenstruktur 1 Treffer
- Deduktionssystem 1 Treffer
- Default-Logik 1 Treffer
- Denken 1 Treffer
- Formale Grammatik 1 Treffer
- Formale Sprache 1 Treffer
- Fuzzy-Menge 1 Treffer
- Genetischer Algorithmus 1 Treffer
- Heuristik 1 Treffer
- Inferenz (Künstliche Intelligenz) 1 Treffer
- Inferenzsystem 1 Treffer
- Kontext 1 Treffer
- Künstliche Intelligenz / Mathematische Logik 1 Treffer
- Logisches Diagramm 1 Treffer
- Mobile Computing 1 Treffer
- Modellbasiertes Schließen 1 Treffer
- Modellierung 1 Treffer
- Neuronales Netz 1 Treffer
Sprache
Form
Person
- Calmet, Jacques 6 Treffer
- Nilsson, Nils J. (1933-2019) 3 Treffer
- Torra, Vicenç 3 Treffer
- Bläsius, Karl Hans (1952-) 2 Treffer
- Bundy, Alan 2 Treffer
-
45 weitere Werte:
- Gabbay, Dov M. (1945-) 2 Treffer
- Gelbukh, Alexander (1962-) 2 Treffer
- Genesereth, Michael R. (1948-) 2 Treffer
- Rutkowski, Leszek (1952-) 2 Treffer
- Alferes, José Júlio 1 Treffer
- Alferes, José Júlio (1966-) 1 Treffer
- Bazzan, Ana L. C. 1 Treffer
- Bersini, Hugues (1961-) 1 Treffer
- Bittencourt, Guilherme 1 Treffer
- Bouquet, Paolo 1 Treffer
- Brewka, Gerhard 1 Treffer
- Buchberger, Bruno 1 Treffer
- Campbell, John Arthur 1 Treffer
- Cerri, Stefano A. 1 Treffer
- Chandrasekaran, B. 1 Treffer
- Christaller, Thomas (1949-) 1 Treffer
- Conejo, Ricardo 1 Treffer
- Das, Gautam 1 Treffer
- DeBessonet, Cary G. 1 Treffer
- Donald, Bruce R. 1 Treffer
- Eijck, Jan van (1951-) 1 Treffer
- Farreny, Henri 1 Treffer
- Fisher, Michael 1 Treffer
- Flesca, Sergio (1971-) 1 Treffer
- Fuhrmann, André (1958-) 1 Treffer
- Genesereth, Michael R. 1 Treffer
- Houstis, Elias N. 1 Treffer
- Jacob, Christian 1 Treffer
- Josephson, John R. 1 Treffer
- Kelemenová, Alica 1 Treffer
- Kowalski, Robert (1941-) 1 Treffer
- Laurière, Jean-Louis 1 Treffer
- López, Jesús A. 1 Treffer
- Macnish, Craig 1 Treffer
- Marín, Roque 1 Treffer
- Maslov, Sergej J. 1 Treffer
- Menzel, Wolfram 1 Treffer
- Monroy, Raúl 1 Treffer
- Nicosia, Giuseppe 1 Treffer
- Ojeda-Aciego, Manuel 1 Treffer
- Palay, Andrew J. 1 Treffer
- Pearce, David A. (1952-) 1 Treffer
- Penrose, Roger (1931-) 1 Treffer
- Ramsay, Allan 1 Treffer
- Richter, Michael M. (1938-2020) 1 Treffer
68 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North Holland, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1980Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Repr. (with corr.). - Oxford [u.a.]: Oxford Univ. Pr, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester: Horwood, 1989Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Reprinted with corr., 2. [Dr.]. - Palo Alto, Calif.: Kaufmann, 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Horwood, 1990Monographie, Gedruckte RessourceZugriff: