Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logik 13 Treffer
- Mathematische Logik 13 Treffer
- Algebra 9 Treffer
- Algorithmus 8 Treffer
- Datenverarbeitung 8 Treffer
-
31 weitere Werte:
- Graphentheorie 7 Treffer
- Fehlerkorrekturcode 5 Treffer
- Kategorientheorie 5 Treffer
- Kombinatorik 5 Treffer
- Theoretische Informatik 4 Treffer
- Mathematik 3 Treffer
- Code 2 Treffer
- Formale Sprache 2 Treffer
- Kryptologie 2 Treffer
- Algebraische Methode 1 Treffer
- Automatentheorie 1 Treffer
- Computer 1 Treffer
- Computer logic 1 Treffer
- Deontische Logik 1 Treffer
- Funktionale Programmierung 1 Treffer
- Grundlage 1 Treffer
- Gödelscher Unvollständigkeitssatz 1 Treffer
- Handlungslogik 1 Treffer
- Information 1 Treffer
- Informationstheorie 1 Treffer
- Komplexität 1 Treffer
- Komplexitätstheorie 1 Treffer
- LISP 1 Treffer
- Lambda-Kalkül 1 Treffer
- Logische Programmierung 1 Treffer
- Mehragentensystem 1 Treffer
- Metamathematik 1 Treffer
- Nichtklassische Logik 1 Treffer
- Normative Logik 1 Treffer
- Stochastischer Prozess 1 Treffer
- Temporale Logik 1 Treffer
Sprache
Form
Person
- Börger, Egon 5 Treffer
- Chaitin, Gregory J. (1947-) 2 Treffer
- Cohen, Gérard 2 Treffer
- Mora, Teo 2 Treffer
- Nerode, Anil (1932-) 2 Treffer
-
45 weitere Werte:
- Ryan, Mark (1960-) 2 Treffer
- Adjan, Sergej I. 1 Treffer
- Akl, Selim G. 1 Treffer
- Bergman, Clifford H. 1 Treffer
- Bertoni, Alberto 1 Treffer
- Bibel, Wolfgang 1 Treffer
- Boztaş, Serdar 1 Treffer
- Brainerd, Walter S. 1 Treffer
- Cai, Jin-yi (1961-) 1 Treffer
- Clarke, Michael 1 Treffer
- Cormen, Thomas H. 1 Treffer
- D'Amore, Fabrizio 1 Treffer
- Dalen, Dirk van (1932-) 1 Treffer
- Dehne, Frank (1960-) 1 Treffer
- Dowsing, R. D. 1 Treffer
- Du, Dingzhu (1948-) 1 Treffer
- Dunne, Paul E. 1 Treffer
- Eijck, Jan van (1951-) 1 Treffer
- Fomin, Fedor V. 1 Treffer
- Fossorier, Marc (1964-) 1 Treffer
- Freksa, Christian 1 Treffer
- Furbach, Ulrich 1 Treffer
- Galton, Antony 1 Treffer
- Gamboa, Ruben 1 Treffer
- Harel, David 1 Treffer
- Hromkovič, Juraj (1958-) 1 Treffer
- Huguet, Llorenç (1953-) 1 Treffer
- Huth, Michael 1 Treffer
- Huth, Michael (1962-) 1 Treffer
- Jiang, Tao (1963-) 1 Treffer
- Johnson, Jeffrey H. 1 Treffer
- Kleine Büning, Hans (1948-) 1 Treffer
- Landweber, Lawrence H. 1 Treffer
- Leeuwen, Jan van 1 Treffer
- Lomuscio, Alessio 1 Treffer
- Mattson, Harold F. (1930-) 1 Treffer
- Maurer, Hermann 1 Treffer
- Mayr, Ernst W. (1950-) 1 Treffer
- Meyer, Albert R. 1 Treffer
- Moggi, Eugenio 1 Treffer
- Moschovakis, Yiannis N. (1938-) 1 Treffer
- Möhring, Rolf H. 1 Treffer
- Nagl, Manfred 1 Treffer
- Nielsen, Mogens 1 Treffer
- Pacholski, Leszek 1 Treffer
68 Treffer
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1986Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Oxford [u.a.]: Blackwell, 1986Monographie, Gedruckte RessourceZugriff:
-
Wokingham [u.a.]: Addison-Wesley, 1987Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Ellis Horwood, 1991Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr, 1994Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1974Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Academic Press, 1987Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: