Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Typentheorie 11 Treffer
- Automatisches Beweisverfahren 7 Treffer
- Logik 5 Treffer
- Programmierung 5 Treffer
- Reduktionssystem 5 Treffer
-
20 weitere Werte:
- Typsystem 4 Treffer
- Benutzeroberfläche 3 Treffer
- Berechnungstheorie 2 Treffer
- Computational logic 2 Treffer
- LISP 2 Treffer
- Mathematische Logik 2 Treffer
- Nichtnumerische Datenverarbeitung 2 Treffer
- Nichtnumerisches Verfahren 2 Treffer
- Optimierung 2 Treffer
- Programmierlogik 2 Treffer
- Berechnungskomplexität 1 Treffer
- Beschränkte Arithmetik 1 Treffer
- Formale Methode 1 Treffer
- Komplexitätstheorie 1 Treffer
- Künstliche Intelligenz 1 Treffer
- Logische Programmierung 1 Treffer
- Modallogik 1 Treffer
- Programmierparadigma 1 Treffer
- Programmverifikation 1 Treffer
- Typisierter Lambda-Kalkül 1 Treffer
Sprache
Form
Person
- Berardi, Stefano 2 Treffer
- Chang, Chin-Liang 2 Treffer
- Char-Tung Lee, Richard 2 Treffer
- Gottlob, Georg 2 Treffer
- Altenkirch, Thorsten 1 Treffer
-
19 weitere Werte:
- Barendregt, Hendrik P. (1947-) 1 Treffer
- Basin, David 1 Treffer
- Callaghan, Paul 1 Treffer
- Clote, Peter 1 Treffer
- Coquand, Thierry (1961-) 1 Treffer
- Dybjer, Peter (1953-) 1 Treffer
- Filliâtre, Jean-Christophe 1 Treffer
- Furbach, Ulrich (1948-) 1 Treffer
- Geuvers, Herman 1 Treffer
- Giménez, Eduardo (1967-) 1 Treffer
- Girard, Jean-Yves (1947-) 1 Treffer
- Kahle, Reinhard (1967-) 1 Treffer
- Lafont, Yves 1 Treffer
- Leivant, Daniel 1 Treffer
- Loveland, Donald W. (1934-) 1 Treffer
- Sandford, David M. 1 Treffer
- Schwichtenberg, Helmut (1942-) 1 Treffer
- Taylor, Paul 1 Treffer
- Wansing, Heinrich (1963-) 1 Treffer
24 Treffer
-
1. [Dr.]. - Boston [u.a.]: Acad. Press, [19]87Monographie, Gedruckte RessourceZugriff:
-
[Nachdr.]. - San Diego [u.a.]: Acad. Press, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1996Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co, 1978Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Oxford: Clarendon Press, 1993Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1980Monographie, Gedruckte RessourceZugriff: