Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 6 Treffer
- Beweistheorie 5 Treffer
- Reduktionssystem 5 Treffer
- Typentheorie 5 Treffer
- Abstraktion 4 Treffer
-
44 weitere Werte:
- Algebraische Spezifikation 4 Treffer
- Termersetzungssystem 4 Treffer
- Typsystem 4 Treffer
- Algebra 3 Treffer
- Approximation 3 Treffer
- Constraint (Künstliche Intelligenz) 3 Treffer
- Constraint-Erfüllung 3 Treffer
- Datenverarbeitung 3 Treffer
- Formulierung 3 Treffer
- Korrektur 3 Treffer
- Maschinelles Lernen 3 Treffer
- Model Checking 3 Treffer
- Algorithmus 2 Treffer
- Baum (Mathematik) 2 Treffer
- Formale Methode 2 Treffer
- Programmiersprache 2 Treffer
- Programmverifikation 2 Treffer
- Automatentheorie 1 Treffer
- Berechenbarkeit 1 Treffer
- Berechnungstheorie 1 Treffer
- Dekomposition 1 Treffer
- Fließkommarechnung 1 Treffer
- Formale Sprache 1 Treffer
- Gene Expression / congresses 1 Treffer
- Genetischer Algorithmus 1 Treffer
- Gleitkommarechnung 1 Treffer
- Induktive Logik 1 Treffer
- Inferenz (Künstliche Intelligenz) 1 Treffer
- Komplexität 1 Treffer
- Komplexitätstheorie 1 Treffer
- Logik 1 Treffer
- Logischer Schluss 1 Treffer
- Mathematische Methode 1 Treffer
- Models, Genetic / congresses 1 Treffer
- Nebenläufigkeit 1 Treffer
- Nichtmonotone Logik 1 Treffer
- Nichtmonotones Schließen 1 Treffer
- Programmanalyse 1 Treffer
- Programmtransformation 1 Treffer
- Softwarespezifikation 1 Treffer
- Theoretische Informatik 1 Treffer
- Verfeinerung 1 Treffer
- Verifikation 1 Treffer
- Verteiltes System 1 Treffer
Sprache
Form
Person
- Hanus, Michael 2 Treffer
- Arnold, André (1945-) 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Berardi, Stefano 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
-
23 weitere Werte:
- Börger, Egon 1 Treffer
- Callaghan, Paul 1 Treffer
- Choueiry, Berthe Y. 1 Treffer
- Coquand, Thierry (1961-) 1 Treffer
- Danvy, Olivier 1 Treffer
- Dijkstra, Edsger W. 1 Treffer
- Dix, Jürgen 1 Treffer
- Filliâtre, Jean-Christophe 1 Treffer
- Geuvers, Herman 1 Treffer
- Grabowski, Jan 1 Treffer
- Johnson, David S. 1 Treffer
- Jones, Neil D. (1941-) 1 Treffer
- Kirchner, Hélène 1 Treffer
- Koenig, Sven 1 Treffer
- Koza, John R. 1 Treffer
- Leach Albert, Javier 1 Treffer
- Levi, Giorgio (1942-) 1 Treffer
- Maher, Michael 1 Treffer
- Montanari, Ugo (1943-) 1 Treffer
- Roever, Willem-Paul de (1943-) 1 Treffer
- Smolka, Gert 1 Treffer
- Wallis, Peter J. L. (1939-) 1 Treffer
- Zucker, Jean-Daniel 1 Treffer
29 Treffer
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass [u.a.]: MIT Press, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: