Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 5 Treffer
- Theoretische Informatik 3 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Formale Sprache 2 Treffer
- Informatik 2 Treffer
-
19 weitere Werte:
- Programmiersprache 2 Treffer
- Programmierung 2 Treffer
- Artificial intelligence 1 Treffer
- Automatentheorie 1 Treffer
- Berechenbarkeit 1 Treffer
- Boolesche Algebra 1 Treffer
- Computer 1 Treffer
- Datenverarbeitung 1 Treffer
- Deduktionssystem 1 Treffer
- Description logics 1 Treffer
- Entscheidbarkeit 1 Treffer
- Formal languages 1 Treffer
- Funktionale Programmierung 1 Treffer
- Gleichungstheorie 1 Treffer
- Komplexitätstheorie 1 Treffer
- Künstliche Intelligenz 1 Treffer
- Mengenlehre 1 Treffer
- Programmverifikation 1 Treffer
- Relation (Mathematik) 1 Treffer
Sprache
Form
Person
- Doets, Kees 1 Treffer
- Eijck, Jan van (1951-) 1 Treffer
- Gottlob, Georg 1 Treffer
- Gumb, Raymond D. 1 Treffer
- Hamburger, Henry (1940-) 1 Treffer
-
13 weitere Werte:
- Hehner, Eric C. R. 1 Treffer
- Heinemann, Bernhard (1950-) 1 Treffer
- Hoare, Charles A. R. (1934-) 1 Treffer
- Huet, Gérard 1 Treffer
- Lassez, Jean-Louis 1 Treffer
- Martin-Löf, Per 1 Treffer
- Meyer, Albert R. 1 Treffer
- Nielsen, Mogens 1 Treffer
- Odifreddi, Piergiorgio (1950-) 1 Treffer
- Richards, Dana S. (1955-) 1 Treffer
- Robinson, John A. (1930-2016) 1 Treffer
- Sanderson, John G. 1 Treffer
- Weihrauch, Klaus (1943-) 1 Treffer
15 Treffer
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1989Monographie, Einführung, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1991Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ [u.a.]: Prentice-Hall International, 1985Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Third edition. - New Jersey, London, Singapore, Beijing, Shanghai, Hong Kong, Taipei, Chennai, Tokyo: World Scientific, [2018]Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: Acad. Pr, 1990Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1991Monographie, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Englewood Cliffs, NJ [u.a.]: Prentice Hall Internat, 1984Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge: Cambridge Univ. Press, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1980Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: