Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Boolesche Algebra 6 Treffer
- Graphentheorie 6 Treffer
- Logische Programmierung 6 Treffer
- Beweis 5 Treffer
- Informatik 5 Treffer
-
24 weitere Werte:
- Mengenlehre 5 Treffer
- Theoretische Informatik 3 Treffer
- Datenverarbeitung 2 Treffer
- Formale Sprache 2 Treffer
- Programmierung 2 Treffer
- Algebra 1 Treffer
- Algorithmus 1 Treffer
- Automatentheorie 1 Treffer
- Berechenbarkeit 1 Treffer
- Computable functions 1 Treffer
- Diskrete Mathematik 1 Treffer
- Fuzzy-Menge 1 Treffer
- Grundlage 1 Treffer
- Kategorie (Mathematik) 1 Treffer
- Logik 1 Treffer
- Mathematics 1 Treffer
- Mathematik 1 Treffer
- Numerische Mathematik 1 Treffer
- Recursively enumerable sets 1 Treffer
- Relation (Informatik) 1 Treffer
- Relation (Mathematik) 1 Treffer
- Relationenalgebra 1 Treffer
- Theorie 1 Treffer
- Unsolvability (Mathematical logic) 1 Treffer
Sprache
Form
Person
- Schöning, Uwe (1955-) 5 Treffer
- Meinel, Christoph (1954-) 3 Treffer
- Mundhenk, Martin (1961-) 3 Treffer
- Heinemann, Bernhard (1950-) 2 Treffer
- Weihrauch, Klaus (1943-) 2 Treffer
-
25 weitere Werte:
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Beckman, Frank S. 1 Treffer
- Beedgen, Rainer (1952-) 1 Treffer
- Brink, Chris 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Dassow, Jürgen (1947-) 1 Treffer
- Downey, R. G. (1957-) 1 Treffer
- Ehrenfeucht, Andrzej (1932-) 1 Treffer
- Gersting, Judith L. 1 Treffer
- Gray, John W. (1931-) 1 Treffer
- Greenberg, Noam (1974-) 1 Treffer
- Harel, David 1 Treffer
- Korfhage, Robert R. 1 Treffer
- Kreowski, Hans-Jörg 1 Treffer
- Kueker, David W. 1 Treffer
- Lewis, Harry R. 1 Treffer
- Lu, Zhongwan 1 Treffer
- Matthiessen, Günter 1 Treffer
- Moschovakis, Yiannis N. (1938-) 1 Treffer
- Mycielski, Jan (1932-) 1 Treffer
- Papadimitriou, Christos H. (1949-) 1 Treffer
- Staab, Frank (1958-) 1 Treffer
- Troelstra, Anne S. 1 Treffer
- Witt, Kurt-Ulrich 1 Treffer
- Witt, Kurt-Ulrich (1953-) 1 Treffer
31 Treffer
-
Princeton, Oxford: Princeton University Press, 2020Monographie, Gedruckte RessourceZugriff:
-
Wiesbaden: Springer Vieweg, 2013Monographie, Gedruckte RessourceZugriff:
-
Wiesbaden: Springer Fachmedien Wiesbaden, 2013Online Monographie, Elektronische Ressource
-
2., überarb. Aufl.. - München: Oldenbourg, 2012Monographie, Einführung, Gedruckte RessourceZugriff:
-
5., überarb. Aufl.. - Wiesbaden: Vieweg + Teubner, 2011Monographie, Gedruckte RessourceZugriff:
-
1. Aufl.. - Stuttgart [u.a.]: Teubner, 2005Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
2., durchges. Aufl.. - Stuttgart [u.a.]: Teubner, 2002Monographie, Gedruckte RessourceZugriff:
-
5. Aufl.. - Heidelberg [u.a.]: Spektrum, Akad. Verl, 2000Monographie, Gedruckte RessourceZugriff:
-
Stuttgart [u.a.]: Teubner, 2000Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - Upper Saddle River, NJ: Prentice-Hall, 1998Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Wien [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
4., überarb. Aufl.. - Heidelberg [u.a.]: Spektrum Akad. Verl, 1995Monographie, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1993Monographie, Gedruckte RessourceZugriff:
-
3. ed.. - New York: Computer Science Pr, 1993Monographie, Einführung, Gedruckte RessourceZugriff:
-
3., überarb. Aufl.. - Mannheim [u.a.]: BI-Wiss.-Verl, 1992Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2., durchges. Aufl.. - Stuttgart: Teubner, 1992Monographie, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Menlo Park, Calif. [u.a.]: CSLI, Center for the Study of Language and Information, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Festschrift, Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: