Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Datenverarbeitung 8 Treffer
- Mathematische Logik 7 Treffer
- Kategorientheorie 3 Treffer
- Logik 3 Treffer
- Theoretische Informatik 3 Treffer
-
15 weitere Werte:
- Algorithmus 2 Treffer
- Mathematik 2 Treffer
- Automatentheorie 1 Treffer
- Computer 1 Treffer
- Computer logic 1 Treffer
- Formale Sprache 1 Treffer
- Grundlage 1 Treffer
- Gödelscher Unvollständigkeitssatz 1 Treffer
- Informationstheorie 1 Treffer
- Komplexität 1 Treffer
- Komplexitätstheorie 1 Treffer
- LISP 1 Treffer
- Lambda-Kalkül 1 Treffer
- Metamathematik 1 Treffer
- Stochastischer Prozess 1 Treffer
Sprache
Form
Person
- Chaitin, Gregory J. (1947-) 2 Treffer
- Ryan, Mark (1960-) 2 Treffer
- Brainerd, Walter S. 1 Treffer
- Clarke, Michael 1 Treffer
- Dowsing, R. D. 1 Treffer
-
13 weitere Werte:
- Dunne, Paul E. 1 Treffer
- Gamboa, Ruben 1 Treffer
- Harel, David 1 Treffer
- Huth, Michael 1 Treffer
- Huth, Michael (1962-) 1 Treffer
- Landweber, Lawrence H. 1 Treffer
- Page, Rex 1 Treffer
- Rayward-Smith, Victor John 1 Treffer
- Reeves, Steve (1957-) 1 Treffer
- Revesz, György E. 1 Treffer
- Schöning, Uwe (1955-) 1 Treffer
- Walter, C. D. 1 Treffer
- Wang, Hao (1921-1995) 1 Treffer
20 Treffer
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1987Monographie, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Wokingham [u.a.]: Addison-Wesley, 1990Monographie, Einführung, Gedruckte RessourceZugriff:
-
New York [u.a.]: Ellis Horwood, 1991Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1988Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1974Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - Cambridge [u.a.]: Cambridge Univ. Press, 2004Monographie, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a]: Springer, 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge University Press, 2000Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Massachusetts: The MIT Press, [2018]Monographie, Gedruckte RessourceZugriff:
-
Singapore [u.a.]: World Scientific Publ. Co, 1987Monographie, Aufgabensammlung, Gedruckte RessourceZugriff:
-
Beijing: Science Pr. [u.a.], 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Oxford [u.a.]: Blackwell, 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1986Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Wokingham [u.a.]: Addison-Wesley, 1987Monographie, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1991Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff: