Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Beweistheorie 11 Treffer
- Programmierung 5 Treffer
- Reduktionssystem 5 Treffer
- Typsystem 4 Treffer
- Automatisches Beweisverfahren 3 Treffer
-
16 weitere Werte:
- Benutzeroberfläche 3 Treffer
- Funktionale Programmiersprache 3 Treffer
- Logische Programmierung 3 Treffer
- Lambda-Kalkül 2 Treffer
- Typisierter Lambda-Kalkül 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Computeralgebra 1 Treffer
- Computerlinguistik 1 Treffer
- Formale Methode 1 Treffer
- Funktionale Programmierung 1 Treffer
- Implementation 1 Treffer
- Kategorientheorie 1 Treffer
- Klausellogik 1 Treffer
- Konstruktive Logik 1 Treffer
- Programmverifikation 1 Treffer
- Semantik 1 Treffer
Sprache
Form
Person
- Berardi, Stefano 2 Treffer
- Altenkirch, Thorsten 1 Treffer
- Barendregt, Hendrik P. (1947-) 1 Treffer
- Callaghan, Paul 1 Treffer
- Coquand, Thierry (1961-) 1 Treffer
-
17 weitere Werte:
- Dybjer, Peter (1953-) 1 Treffer
- Filliâtre, Jean-Christophe 1 Treffer
- Geuvers, Herman 1 Treffer
- Giménez, Eduardo (1967-) 1 Treffer
- Girard, Jean-Yves (1947-) 1 Treffer
- Huet, Gérard 1 Treffer
- Jones, Mark P. 1 Treffer
- Kamareddine, Fairouz Dib 1 Treffer
- Laan, Twan (1970-) 1 Treffer
- Lafont, Yves 1 Treffer
- Nederpelt, Rob P. 1 Treffer
- Nielson, Flemming 1 Treffer
- Riis Nielson, Hanne 1 Treffer
- Schwichtenberg, Helmut (1942-) 1 Treffer
- Streicher, Thomas 1 Treffer
- Taylor, Paul 1 Treffer
- Wolfram, D. A. 1 Treffer
18 Treffer
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1993Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer Acad. Publ, 2004Monographie, 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, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Cambridge: Cambridge University Press, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: