Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Informatik 9 Treffer
- Logische Programmierung 8 Treffer
- Künstliche Intelligenz 7 Treffer
- Automatisches Beweisverfahren 6 Treffer
- Theoretische Informatik 5 Treffer
-
45 weitere Werte:
- Deduktionssystem 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
- Programmierung 3 Treffer
- Automatentheorie 2 Treffer
- Beweistheorie 2 Treffer
- Datenverarbeitung 2 Treffer
- Inferenz (Künstliche Intelligenz) 2 Treffer
- LISP 2 Treffer
- Nichtnumerische Datenverarbeitung 2 Treffer
- Nichtnumerisches Verfahren 2 Treffer
- Optimierung 2 Treffer
- Programmiersprache 2 Treffer
- Algorithmus 1 Treffer
- Ausdruck (Logik) 1 Treffer
- Berechenbare Funktion 1 Treffer
- Berechnungskomplexität 1 Treffer
- Berechnungstheorie 1 Treffer
- Beschränkte Arithmetik 1 Treffer
- Computer 1 Treffer
- Computer logic 1 Treffer
- Data Mining 1 Treffer
- Entscheidbarkeit 1 Treffer
- Funktionale Programmierung 1 Treffer
- Funktionale Semantik 1 Treffer
- Geschichte 1 Treffer
- Gleichungstheorie 1 Treffer
- Gödel, Kurt (1906-1978) 1 Treffer
- Information 1 Treffer
- Informationssystem 1 Treffer
- Komplexitätstheorie 1 Treffer
- Konditionalsatz 1 Treffer
- Mathematik 1 Treffer
- Modelltheorie 1 Treffer
- Nichtklassische Logik 1 Treffer
- Programm 1 Treffer
- Relationales Datenbanksystem 1 Treffer
- Semantik 1 Treffer
- Temporale Logik 1 Treffer
- Topologie 1 Treffer
- Wissensverarbeitung 1 Treffer
Form
Person
- Manna, Zohar 3 Treffer
- Nerode, Anil (1932-) 3 Treffer
- Waldinger, Richard 3 Treffer
- Chang, Chin-Liang 2 Treffer
- Char-Tung Lee, Richard 2 Treffer
-
45 weitere Werte:
- Eijck, Jan van (1951-) 2 Treffer
- Nilsson, Nils J. (1933-2019) 2 Treffer
- Shore, Richard A. (1946-) 2 Treffer
- Adjan, Sergej I. 1 Treffer
- Alferes, José Júlio 1 Treffer
- Armando, Alessandro 1 Treffer
- Ben-Arî, Môtî (1948-) 1 Treffer
- Börger, Egon 1 Treffer
- Clarke, Michael 1 Treffer
- Cohen, Daniel E. (1934-) 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
- Genesereth, Michael R. (1948-) 1 Treffer
- Gottlob, Georg 1 Treffer
- Gramlich, Bernhard 1 Treffer
- Griffor, Edward R. 1 Treffer
- Gödel, Kurt (1906-1978) 1 Treffer
- Hoare, Charles A. R. (1934-) 1 Treffer
- Huth, Michael (1962-) 1 Treffer
- Kern-Isberner, Gabriele (1956-) 1 Treffer
- Kirchner, Hélène 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
- Martin, Norman M. 1 Treffer
- Martin-Löf, Per 1 Treffer
- Meyer, Albert R. 1 Treffer
- Mirkowska, Grażyna 1 Treffer
- Mycielski, Jan (1932-) 1 Treffer
- Nielsen, Mogens 1 Treffer
- Odifreddi, Piergiorgio (1950-) 1 Treffer
- Page, Rex 1 Treffer
- Papadimitriou, Christos H. (1949-) 1 Treffer
- Paulson, Lawrence C. 1 Treffer
- Pearce, David A. (1952-) 1 Treffer
- Pollard, Stephen 1 Treffer
- Rayward-Smith, Victor John 1 Treffer
- Reeves, Steve (1957-) 1 Treffer
48 Treffer
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1990Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Wokingham [u.a.]: Addison-Wesley, 1990Monographie, Einführung, 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:
-
Cambridge, Mass. [u.a.]: MIT Pr, 1994Aufsatzsammlung, Sammelwerk, 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:
-
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: