Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 16 Treffer
- HOL 11 Treffer
- Programmierlogik 11 Treffer
- Computeralgebra 7 Treffer
- Beweistheorie 5 Treffer
-
45 weitere Werte:
- Geometrie 5 Treffer
- Mathematische Logik 5 Treffer
- Deduktionssystem 4 Treffer
- Constraint (Künstliche Intelligenz) 3 Treffer
- Entscheidungsproblem 3 Treffer
- Geometrische Modellierung 3 Treffer
- Künstliche Intelligenz 3 Treffer
- Lineare Optimierung 3 Treffer
- Typentheorie 3 Treffer
- Formale Methode 2 Treffer
- Hardwareverifikation 2 Treffer
- Inferenz (Künstliche Intelligenz) 2 Treffer
- Logik 2 Treffer
- Nonstandard-Logik 2 Treffer
- Programmverifikation 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Algorithmische Geometrie 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Computer 1 Treffer
- Entscheidbarkeit 1 Treffer
- Entwurfsautomation 1 Treffer
- Gleichungstheorie 1 Treffer
- Irrationale Zahl 1 Treffer
- Kaiserslautern 1 Treffer
- Kategorientheorie 1 Treffer
- Künstliche Intelligenz / Aufsatzsammlung 1 Treffer
- Logische Schaltung 1 Treffer
- Logischer Entwurf 1 Treffer
- Logischer Schluss 1 Treffer
- Model Checking 1 Treffer
- Nebenläufigkeit 1 Treffer
- Nichtmonotones Schließen 1 Treffer
- Paralleler Prozess 1 Treffer
- Programmierparadigma 1 Treffer
- Programmiersprache 1 Treffer
- Programmschema 1 Treffer
- Programmsynthese 1 Treffer
- Programmtransformation 1 Treffer
- Prädikatenlogik 1 Treffer
- Reduktionssystem 1 Treffer
- Softwareentwicklung 1 Treffer
- Stufe 1 1 Treffer
- Synchrones Schaltwerk 1 Treffer
- Typisierter Lambda-Kalkül 1 Treffer
- Verifikation 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
- Siekmann, Jörg 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
- Bertot, Yves 1 Treffer
- Bledsoe, Woody W. (1921-1995) 1 Treffer
- Boulton, Richard J. 1 Treffer
- Boyer, Robert S. 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
- Giménez, Eduardo (1967-) 1 Treffer
- Goré, Rajeev 1 Treffer
- Gramlich, Bernhard 1 Treffer
- Grundy, Jim 1 Treffer
- Gunter, Elsa L. 1 Treffer
- Hermann, Miki (1958-) 1 Treffer
- Hong, Hoon 1 Treffer
- Hurd, Joe 1 Treffer
- Hutter, Dieter 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
- Lassez, Jean-Louis 1 Treffer
- MacAllester, David 1 Treffer
- Martin-Löf, Per 1 Treffer
- McRobbie, Michael A. 1 Treffer
- Mccune, William 1 Treffer
74 Treffer
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, 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: 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, 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:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Verzeichnis, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: