Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 16 Treffer
- HOL 12 Treffer
- Programmierlogik 11 Treffer
- Computeralgebra 7 Treffer
- Model Checking 6 Treffer
-
45 weitere Werte:
- Beweistheorie 5 Treffer
- Geometrie 5 Treffer
- Programmverifikation 5 Treffer
- Deduktionssystem 4 Treffer
- Mathematische Logik 4 Treffer
- Softwareentwicklung 4 Treffer
- Systementwicklung 4 Treffer
- Constraint (Künstliche Intelligenz) 3 Treffer
- Entscheidungsproblem 3 Treffer
- Geometrische Modellierung 3 Treffer
- Hardwareverifikation 3 Treffer
- Künstliche Intelligenz 3 Treffer
- Lineare Optimierung 3 Treffer
- Softwarespezifikation 3 Treffer
- Typentheorie 3 Treffer
- Formale Methode 2 Treffer
- Inferenz (Künstliche Intelligenz) 2 Treffer
- Kongress 2 Treffer
- Logik 2 Treffer
- Nonstandard-Logik 2 Treffer
- Programmiersprache 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Algorithmische Geometrie 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Berechnungstheorie 1 Treffer
- Computer 1 Treffer
- Entwurfsautomation 1 Treffer
- Formale Sprache 1 Treffer
- Hardwareentwurf 1 Treffer
- Kaiserslautern 1 Treffer
- Kategorientheorie 1 Treffer
- Logische Schaltung 1 Treffer
- Logischer Entwurf 1 Treffer
- Nebenläufigkeit 1 Treffer
- Nichtmonotones Schließen 1 Treffer
- Paralleler Prozess 1 Treffer
- Programmierparadigma 1 Treffer
- Programmschema 1 Treffer
- Programmsynthese 1 Treffer
- Programmtransformation 1 Treffer
- Prädikatenlogik 1 Treffer
- Reduktionssystem 1 Treffer
- Stufe 1 1 Treffer
- Synchrones Schaltwerk 1 Treffer
- Typisierter Lambda-Kalkül 1 Treffer
Sprache
Form
Person
- Calmet, Jacques 3 Treffer
- Voronkov, Andrei 3 Treffer
- Baader, Franz (1959-) 2 Treffer
- Basin, David 2 Treffer
- Birtwistle, Graham M. (1939-) 2 Treffer
-
45 weitere Werte:
- Ganzinger, Harald 2 Treffer
- Nieuwenhuis, Robert 2 Treffer
- Aagaard, Mark 1 Treffer
- Altenkirch, Thorsten 1 Treffer
- Armando, Alessandro 1 Treffer
- Baaz, Matthias (1960-) 1 Treffer
- Baumgartner, Peter 1 Treffer
- Beckert, Bernhard 1 Treffer
- Bernardo, Marco (1970-) 1 Treffer
- Bertot, Yves 1 Treffer
- Boulton, Richard J. 1 Treffer
- Bundy, Alan 1 Treffer
- Caferra, Ricardo 1 Treffer
- Carreño, Victor A. 1 Treffer
- Cassez, Franck (1967-) 1 Treffer
- Cialdea Mayer, Marta 1 Treffer
- Claesen, Luc J. 1 Treffer
- Dix, Jürgen 1 Treffer
- Dyckhoff, Roy 1 Treffer
- Egly, Uwe 1 Treffer
- Fuchs, Norbert E. 1 Treffer
- Furbach, Ulrich (1948-) 1 Treffer
- Galmiche, Didier 1 Treffer
- Gao, Xiao-Shan (1963-) 1 Treffer
- Garavel, Hubert 1 Treffer
- Giménez, Eduardo (1967-) 1 Treffer
- Goré, Rajeev 1 Treffer
- Gramlich, Bernhard 1 Treffer
- Grundy, Jim 1 Treffer
- Gunter, Elsa L. 1 Treffer
- Halbwachs, Nicolas 1 Treffer
- Hermann, Miki (1958-) 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Hong, Hoon 1 Treffer
- Hsiang, Jieh (1954-) 1 Treffer
- Hurd, Joe 1 Treffer
- Jensen, Kurt 1 Treffer
- Kahle, Reinhard (1967-) 1 Treffer
- Kapur, Deepak 1 Treffer
- Kirchner, Claude 1 Treffer
- Kirchner, Hélène 1 Treffer
- Kumar, Ramayya 1 Treffer
- Lakemeyer, Gerhard 1 Treffer
- MacAllester, David 1 Treffer
- Martin-Löf, Per 1 Treffer
81 Treffer
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: