Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Informatik 6 Treffer
- Künstliche Intelligenz 5 Treffer
- Theoretische Informatik 5 Treffer
- Automatisches Beweisverfahren 4 Treffer
- Deduktionssystem 4 Treffer
-
19 weitere Werte:
- Logische Programmierung 4 Treffer
- Computeralgebra 3 Treffer
- Constraint (Künstliche Intelligenz) 3 Treffer
- Entscheidungsproblem 3 Treffer
- Lineare Optimierung 3 Treffer
- Datenverarbeitung 2 Treffer
- Ausdruck (Logik) 1 Treffer
- Computer 1 Treffer
- Formale Sprache 1 Treffer
- Funktionale Programmierung 1 Treffer
- Gödel, Kurt (1906-1978) 1 Treffer
- Inferenz (Künstliche Intelligenz) 1 Treffer
- Komplexitätstheorie 1 Treffer
- Konditionalsatz 1 Treffer
- Logik 1 Treffer
- Mathematik 1 Treffer
- Nerode, Anil (1932-) 1 Treffer
- Programmiersprache 1 Treffer
- Wissensverarbeitung 1 Treffer
Sprache
Form
Person
- Nerode, Anil (1932-) 2 Treffer
- Adjan, Sergej I. 1 Treffer
- Alferes, José Júlio 1 Treffer
- Armando, Alessandro 1 Treffer
- Carnielli, Walter A. 1 Treffer
-
18 weitere Werte:
- Crossley, John N. (1937-) 1 Treffer
- Eijck, Jan van (1951-) 1 Treffer
- Fuhrmann, André (1958-) 1 Treffer
- Gottlob, Georg 1 Treffer
- Gramlich, Bernhard 1 Treffer
- Gödel, Kurt (1906-1978) 1 Treffer
- Hoare, Charles A. R. (1934-) 1 Treffer
- Huet, Gérard 1 Treffer
- Kern-Isberner, Gabriele (1956-) 1 Treffer
- Kirchner, Hélène 1 Treffer
- Macnish, Craig 1 Treffer
- Martin-Löf, Per 1 Treffer
- Meyer, Albert R. 1 Treffer
- Moschovakis, Yiannis N. (1938-) 1 Treffer
- Nielsen, Mogens 1 Treffer
- Odifreddi, Piergiorgio (1950-) 1 Treffer
- Pearce, David A. (1952-) 1 Treffer
- Skordev, Dimiter Genčev 1 Treffer
24 Treffer
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, 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:
-
New York [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Soc. Press, 1998Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Providence, RI: American Mathematical Society, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1993Festschrift, Konferenzschrift, Bibliografie, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff: