Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Rekursionstheorie 18 Treffer
- Berechenbarkeit 14 Treffer
- Mathematische Logik 12 Treffer
- Rekursive Funktion 7 Treffer
- Algorithmus 5 Treffer
-
45 weitere Werte:
- Berechnungskomplexität 5 Treffer
- Rekursivität 5 Treffer
- Berechenbare Funktion 4 Treffer
- Berechnungstheorie 4 Treffer
- Algorithmentheorie 3 Treffer
- Beweistheorie 3 Treffer
- Theorie 3 Treffer
- Analysis 2 Treffer
- Entscheidbarkeit 2 Treffer
- Komplexität 2 Treffer
- Logik 2 Treffer
- Logische Programmierung 2 Treffer
- Prädikatenlogik 2 Treffer
- Rekursiv aufzählbare Menge 2 Treffer
- Unlösbarkeit 2 Treffer
- Wahrscheinlichkeit 2 Treffer
- Wahrscheinlichkeitsrechnung 2 Treffer
- Algebraische Struktur 1 Treffer
- Algebraisierbare Logik 1 Treffer
- Arithmetik 1 Treffer
- Aussagenlogik 1 Treffer
- Automatentheorie 1 Treffer
- Axiomatik 1 Treffer
- Beschränkte Arithmetik 1 Treffer
- Beweis 1 Treffer
- Bibliografie 1 Treffer
- Computable functions 1 Treffer
- Computer 1 Treffer
- Datenverarbeitung 1 Treffer
- Deskriptive Mengenlehre 1 Treffer
- Diophantische Gleichung 1 Treffer
- Effizienter Algorithmus 1 Treffer
- Funktional 1 Treffer
- Funktionale Programmiersprache 1 Treffer
- Group theory 1 Treffer
- Gruppentheorie 1 Treffer
- Gödel, Kurt (1906-1978) 1 Treffer
- Gödelscher Unvollständigkeitssatz 1 Treffer
- Hilbertsches Problem 10 1 Treffer
- Induktion 1 Treffer
- Induktive Logik 1 Treffer
- Informatik 1 Treffer
- Kombinatorische Logik 1 Treffer
- Kombinatorischer Funktor 1 Treffer
- Komplexitätstheorie 1 Treffer
Sprache
Form
Person
- Hermes, Hans (1912-2003) 4 Treffer
- Crossley, John N. (1937-) 3 Treffer
- Eršov, Jurij Leonidovič (1940-) 3 Treffer
- Odifreddi, Piergiorgio (1950-) 3 Treffer
- Boolos, George (1940-1996) 2 Treffer
-
45 weitere Werte:
- Jeffrey, Richard C. (1926-2002) 2 Treffer
- Nerode, Anil (1932-) 2 Treffer
- Newman, James R. (1907-1966) 2 Treffer
- Pour-El, Marian B. 2 Treffer
- Richards, Ian (1936-) 2 Treffer
- Sacks, Gerald E. 2 Treffer
- Ambos-Spies, Klaus 1 Treffer
- Barbin, Évelyne (1949-) 1 Treffer
- Bridges, Douglas S. (1945-) 1 Treffer
- Buss, Samuel R. 1 Treffer
- Börger, Egon 1 Treffer
- Büchi, Julius Richard (1924-1984) 1 Treffer
- Cantini, Andrea 1 Treffer
- Carnap, Rudolf (1891-1970) 1 Treffer
- Chabert, Jean-Luc (1946-) 1 Treffer
- Cholak, Peter (1962-) 1 Treffer
- Chong, Chi-Tat 1 Treffer
- Cooper, Stuart B. (1943-2015) 1 Treffer
- Cori, René 1 Treffer
- Cutland, Nigel J. 1 Treffer
- Deutsch, Michael (1944-) 1 Treffer
- EILENBURG, SAMUEL 1 Treffer
- Elgot, Calvin C. 1 Treffer
- Epstein, Richard L. (1947-) 1 Treffer
- Fenstad, Jens Erik (1935-2020) 1 Treffer
- Ferrante, Jeanne 1 Treffer
- Fisher, Alec 1 Treffer
- Fitting, Melvin (1942-) 1 Treffer
- Font, Josep Maria 1 Treffer
- Gasarch, William I. 1 Treffer
- Gentzen, Gerhard (1909-1945) 1 Treffer
- Griffor, Edward R. 1 Treffer
- Hinman, Peter G. (1937-) 1 Treffer
- Hirschelmann, Arnulf 1 Treffer
- Homer, Steven 1 Treffer
- Jansana, Ramon 1 Treffer
- Krajíček, Jan (1960-) 1 Treffer
- Kuipers, Theo A. (1947-) 1 Treffer
- Lascar, Daniel 1 Treffer
- Lerman, Manuel 1 Treffer
- Maass, Wolfgang 1 Treffer
- Malʹcev, Anatolij I. (1909-1967) 1 Treffer
- Mansfield, Richard (1941-) 1 Treffer
- Martin, Georgia A. 1 Treffer
- Matijasevič, Jurij V. 1 Treffer
74 Treffer
-
3. Aufl.. - Berlin [u.a.]: Springer, 1978Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: Elsevier, 1996Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co, 1981Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co, 1989Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Wien: Springer, 1959Monographie, Gedruckte RessourceZugriff:
-
3. ed.. - Cambridge [u.a.]: Cambridge University Press, 1989Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1995Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1971Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Bibliografie, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Providence, RI: American Mathematical Society, 1993Monographie, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1992Monographie, Gedruckte RessourceZugriff:
-
Providence, RI: American Math. Soc, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Braunschweig: Vieweg, 1974Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Gedruckte RessourceZugriff:
-
2., unveränd. Aufl.. - München [u.a.]: Oldenbourg, 1979Monographie, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1993Festschrift, Konferenzschrift, Bibliografie, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1993Monographie, Gedruckte RessourceZugriff: