Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Automatisches Beweisverfahren 3 Treffer
- Formale Methode 2 Treffer
- Mathematische Logik 2 Treffer
- Softwareentwicklung 2 Treffer
- Approximatives Schließen 1 Treffer
-
13 weitere Werte:
- 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
- Logische Programmierung 1 Treffer
- Logischer Schluss 1 Treffer
- Objektorientierung 1 Treffer
- SIMULA 1 Treffer
- Theoretische Informatik 1 Treffer
- Wissensbasiertes System 1 Treffer
Sprache
Person
7 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:
-
Berlin [u.a.]: Springer, 1987Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: