Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- HOL 10 Treffer
- Logische Programmierung 5 Treffer
- Model Checking 5 Treffer
- Softwareentwicklung 5 Treffer
- Programmverifikation 4 Treffer
-
21 weitere Werte:
- Systementwicklung 4 Treffer
- Softwarespezifikation 3 Treffer
- Typentheorie 3 Treffer
- Beweistheorie 2 Treffer
- Formale Methode 2 Treffer
- Mathematische Logik 2 Treffer
- Programmsynthese 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Computer 1 Treffer
- Computeralgebra 1 Treffer
- Deduktionssystem 1 Treffer
- Entscheidbarkeit 1 Treffer
- Gleichungstheorie 1 Treffer
- Logischer Schluss 1 Treffer
- Paralleler Prozess 1 Treffer
- Programmschema 1 Treffer
- Programmtransformation 1 Treffer
- Sorte (Logik) 1 Treffer
- Typisierter Lambda-Kalkül 1 Treffer
- Unifikationstheorie 1 Treffer
- Verifikation 1 Treffer
Sprache
Form
Person
- Aagaard, Mark 1 Treffer
- Altenkirch, Thorsten 1 Treffer
- Basin, David 1 Treffer
- Bertot, Yves 1 Treffer
- Boulton, Richard J. 1 Treffer
-
20 weitere Werte:
- Burghardt, Jochen 1 Treffer
- Carreño, Victor A. 1 Treffer
- Cassez, Franck (1967-) 1 Treffer
- Fuchs, Norbert E. 1 Treffer
- Garavel, Hubert 1 Treffer
- Giménez, Eduardo (1967-) 1 Treffer
- Grundy, Jim 1 Treffer
- Gunter, Elsa L. 1 Treffer
- Halbwachs, Nicolas 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Hurd, Joe 1 Treffer
- Hutter, Dieter 1 Treffer
- Jensen, Kurt 1 Treffer
- Lassez, Jean-Louis 1 Treffer
- Martin-Löf, Per 1 Treffer
- Robinson, John A. (1930-2016) 1 Treffer
- Schwichtenberg, Helmut (1942-) 1 Treffer
- Siekmann, Jörg 1 Treffer
- Slind, Konrad (1958-) 1 Treffer
- Wright, Joakim von 1 Treffer
23 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1991Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2005Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1993Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: