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
- Programmierung 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
- 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
Form
Person
- Nerode, Anil (1932-) 4 Treffer
- Manna, Zohar 3 Treffer
- Nilsson, Nils J. (1933-2019) 3 Treffer
- Waldinger, Richard 3 Treffer
- Chang, Chin-Liang 2 Treffer
-
45 weitere Werte:
- Char-Tung Lee, Richard 2 Treffer
- Eijck, Jan van (1951-) 2 Treffer
- 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
72 Treffer
-
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:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1985Monographie, Teil eines Werkes, keine AngabeZugriff:
-
New York [u.a.]: Prentice Hall, 1993Monographie, Einführung, Gedruckte RessourceZugriff:
-
Reprinted with corr., 2. [Dr.]. - Palo Alto, Calif.: Kaufmann, 1988Monographie, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Orlando [u.a.]: Acad. Pr, 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - Cambridge [u.a.]: Cambridge Univ. Press, 2004Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1994Monographie, Gedruckte RessourceZugriff:
-
Providence, RI: American Mathematical Society, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1993Festschrift, Konferenzschrift, Bibliografie, Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Reidel [u.a.], 1987Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer Academic, 1996Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: