Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Informatik 13 Treffer
- Künstliche Intelligenz 10 Treffer
- Logische Programmierung 9 Treffer
- Automatisches Beweisverfahren 8 Treffer
- Theoretische Informatik 7 Treffer
-
45 weitere Werte:
- Deduktionssystem 5 Treffer
- Datenverarbeitung 4 Treffer
- Berechenbarkeit 3 Treffer
- Computeralgebra 3 Treffer
- Constraint (Künstliche Intelligenz) 3 Treffer
- Entscheidungsproblem 3 Treffer
- Formale Sprache 3 Treffer
- Lineare Optimierung 3 Treffer
- Logik 3 Treffer
- Mengenlehre 3 Treffer
- Automatentheorie 2 Treffer
- Beweis 2 Treffer
- Beweistheorie 2 Treffer
- Boolesche Algebra 2 Treffer
- Computer 2 Treffer
- Graphentheorie 2 Treffer
- Inferenz (Künstliche Intelligenz) 2 Treffer
- Komplexitätstheorie 2 Treffer
- LISP 2 Treffer
- Mathematik 2 Treffer
- Nichtnumerische Datenverarbeitung 2 Treffer
- Nichtnumerisches Verfahren 2 Treffer
- Optimierung 2 Treffer
- Programmiersprache 2 Treffer
- Programmierung 2 Treffer
- Algorithmus 1 Treffer
- Arithmetik 1 Treffer
- Ausdruck (Logik) 1 Treffer
- Berechenbare Funktion 1 Treffer
- Berechnungskomplexität 1 Treffer
- Berechnungstheorie 1 Treffer
- Beschränkte Arithmetik 1 Treffer
- Bibliografie 1 Treffer
- Computer logic 1 Treffer
- Data Mining 1 Treffer
- Endlicher Automat 1 Treffer
- Entscheidbarkeit 1 Treffer
- Expertensystem 1 Treffer
- Forschungsmethode 1 Treffer
- Funktionale Programmierung 1 Treffer
- Funktionale Semantik 1 Treffer
- Geschichte 1 Treffer
- Gleichungstheorie 1 Treffer
- Gödel, Kurt (1906-1978) 1 Treffer
- Halbgruppentheorie 1 Treffer
Sprache
Person
- Nerode, Anil (1932-) 4 Treffer
- Nilsson, Nils J. (1933-2019) 3 Treffer
- Chang, Chin-Liang 2 Treffer
- Char-Tung Lee, Richard 2 Treffer
- Eijck, Jan van (1951-) 2 Treffer
-
45 weitere Werte:
- Genesereth, Michael R. (1948-) 2 Treffer
- Meinel, Christoph (1954-) 2 Treffer
- Mundhenk, Martin (1961-) 2 Treffer
- Ryan, Mark (1960-) 2 Treffer
- Shore, Richard A. (1946-) 2 Treffer
- Siefkes, Dirk (1938-2016) 2 Treffer
- Adjan, Sergej I. 1 Treffer
- Alferes, José Júlio 1 Treffer
- Andrews, Peter B. 1 Treffer
- Armando, Alessandro 1 Treffer
- Ben-Arî, Môtî (1948-) 1 Treffer
- Burris, Stanley 1 Treffer
- Börger, Egon 1 Treffer
- Carnielli, Walter A. 1 Treffer
- Clarke, Michael 1 Treffer
- Cohen, Daniel E. (1934-) 1 Treffer
- Crossley, John N. (1937-) 1 Treffer
- De Swart, Harrie (1944-) 1 Treffer
- Doets, Kees 1 Treffer
- Dowsing, R. D. 1 Treffer
- Ehrenfeucht, Andrzej (1932-) 1 Treffer
- Fuhrmann, André (1958-) 1 Treffer
- Gamboa, Ruben 1 Treffer
- Genesereth, Michael R. 1 Treffer
- Goodman, Irwin R. 1 Treffer
- Gottlob, Georg 1 Treffer
- Gramlich, Bernhard 1 Treffer
- Griffor, Edward R. 1 Treffer
- Gödel, Kurt (1906-1978) 1 Treffer
- Heinemann, Bernhard (1950-) 1 Treffer
- Hoare, Charles A. R. (1934-) 1 Treffer
- Huet, Gérard 1 Treffer
- Huth, Michael 1 Treffer
- Huth, Michael (1962-) 1 Treffer
- Kelly, Kevin T. 1 Treffer
- Kern-Isberner, Gabriele (1956-) 1 Treffer
- Kirchner, Hélène 1 Treffer
- Kowalski, Robert (1941-) 1 Treffer
- Krajíček, Jan (1960-) 1 Treffer
- Lassez, Jean-Louis 1 Treffer
- Lewis, Harry R. 1 Treffer
- Lindström, Ingrid 1 Treffer
- Macnish, Craig 1 Treffer
- Manna, Zohar 1 Treffer
- Martin, Norman M. 1 Treffer
70 Treffer
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1994Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Oxford Univ. Press, 1996Monographie, Gedruckte RessourceZugriff:
-
Cambridge: Cambridge Univ. Press, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1996Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Wokingham [u.a.]: Addison-Wesley, 1990Monographie, Einführung, Gedruckte RessourceZugriff:
-
Braunschweig: Vieweg, 1990Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1994Monographie, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Soc. Press, 1998Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2., verb. Aufl.. - Braunschweig [u.a.]: Vieweg, 1992Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr, 1994Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1991Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1995Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - New York [u.a.]: Springer, 1997Monographie, Gedruckte RessourceZugriff: