Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Automatisches Beweisverfahren 3 Treffer
- Mathematische Logik 3 Treffer
- Formale Methode 2 Treffer
- Logische Programmierung 2 Treffer
- Softwareentwicklung 2 Treffer
-
14 weitere Werte:
- Approximatives Schließen 1 Treffer
- Berechnungstheorie 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Entscheidbarkeit 1 Treffer
- Fuzzy-logisches Schließen 1 Treffer
- Gleichungstheorie 1 Treffer
- Künstliche Intelligenz / Aufsatzsammlung 1 Treffer
- Logik 1 Treffer
- Logischer Schluss 1 Treffer
- Nerode, Anil (1932-) 1 Treffer
- Objektorientierung 1 Treffer
- SIMULA 1 Treffer
- Theoretische Informatik 1 Treffer
- Wissensbasiertes System 1 Treffer
Sprache
Form
Person
- Bledsoe, Woody W. (1921-1995) 1 Treffer
- Boyer, Robert S. 1 Treffer
- Börger, Egon 1 Treffer
- Crossley, John N. (1937-) 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
-
11 weitere Werte:
- Hutter, Dieter 1 Treffer
- Jones, Neil D. (1941-) 1 Treffer
- Lassez, Jean-Louis 1 Treffer
- Lenski, Wolfgang (1952-) 1 Treffer
- Nerode, Anil (1932-) 1 Treffer
- Owe, Olaf (1951-) 1 Treffer
- Richter, Michael M. (1938-2020) 1 Treffer
- Robinson, John A. (1930-2016) 1 Treffer
- Rödding, Dieter 1 Treffer
- Siekmann, Jörg 1 Treffer
- Takasu, Satoru (1931-) 1 Treffer
8 Treffer
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1991Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Bibliografie, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1991Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1993Festschrift, Konferenzschrift, Bibliografie, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: