Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Unifikationstheorie 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Algorithmus 1 Treffer
- Computeralgebra 1 Treffer
- Deduktionssystem 1 Treffer
-
14 weitere Werte:
- Formale Sprache 1 Treffer
- Gleichungstheorie 1 Treffer
- Graphische Benutzeroberfläche 1 Treffer
- Induktionsbeweis 1 Treffer
- Intuitionistische Logik 1 Treffer
- Komplexität 1 Treffer
- Lemma (Logik) 1 Treffer
- Logische Programmierung 1 Treffer
- Programmsynthese 1 Treffer
- Sorte (Logik) 1 Treffer
- Suchverfahren 1 Treffer
- Terminierung (Informatik) 1 Treffer
- Typentheorie 1 Treffer
- Typisierter Lambda-Kalkül 1 Treffer
Form
Person
9 Treffer
-
Braunschweig: Vieweg, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1995Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1990Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1993Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1989Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
2., verb. Aufl.. - Braunschweig: Vieweg, 1991Monographie, Gedruckte RessourceZugriff: