Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 17 Treffer
- Programmierlogik 12 Treffer
- HOL 11 Treffer
- Beweistheorie 7 Treffer
- Geometrie 7 Treffer
-
45 weitere Werte:
- Künstliche Intelligenz 7 Treffer
- Computeralgebra 6 Treffer
- Mathematische Logik 6 Treffer
- Deduktionssystem 4 Treffer
- Logik 4 Treffer
- Constraint (Künstliche Intelligenz) 3 Treffer
- Entscheidungsproblem 3 Treffer
- Geometrische Modellierung 3 Treffer
- Lineare Optimierung 3 Treffer
- Anwendung 2 Treffer
- Formale Methode 2 Treffer
- Gleichungstheorie 2 Treffer
- Inferenz (Künstliche Intelligenz) 2 Treffer
- Mathematik 2 Treffer
- Nonstandard-Logik 2 Treffer
- Prädikatenlogik 2 Treffer
- Reduktionssystem 2 Treffer
- Stufe 1 2 Treffer
- Typentheorie 2 Treffer
- Algebraische Kurve 1 Treffer
- Algorithmische Geometrie 1 Treffer
- Auflösungsprinzip 1 Treffer
- Computer 1 Treffer
- Computersimulation 1 Treffer
- Deduktion 1 Treffer
- Entscheidbarkeit 1 Treffer
- Entwurfsautomation 1 Treffer
- Formale Semantik 1 Treffer
- Formalisierung 1 Treffer
- Generierung (Sprache) 1 Treffer
- Hardwareverifikation 1 Treffer
- Horn-Klausel 1 Treffer
- Indizierung (Informatik) 1 Treffer
- Irrationale Zahl 1 Treffer
- Kaiserslautern 1 Treffer
- Knuth-Bendix-Vervollständigungsprozedur 1 Treffer
- Konnektionsmethode 1 Treffer
- Künstliche Intelligenz / Aufsatzsammlung 1 Treffer
- Logischer Entwurf 1 Treffer
- Logischer Schluss 1 Treffer
- Logisches Denken 1 Treffer
- Model Checking 1 Treffer
- Natürlichsprachiges System 1 Treffer
- Nichtmonotones Schließen 1 Treffer
- ONTIC 1 Treffer
Form
Person
- Bundy, Alan 3 Treffer
- Calmet, Jacques 3 Treffer
- Voronkov, Andrei 3 Treffer
- Baader, Franz (1959-) 2 Treffer
- Basin, David 2 Treffer
-
45 weitere Werte:
- Baumgartner, Peter 2 Treffer
- Bibel, Wolfgang 2 Treffer
- Boyer, Robert S. 2 Treffer
- 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
- Bachmair, Leo 1 Treffer
- Beckert, Bernhard 1 Treffer
- Bertot, Yves 1 Treffer
- Birtwistle, Graham M. (1939-) 1 Treffer
- Bledsoe, Woody W. (1921-1995) 1 Treffer
- Bläsius, Karl Hans (1952-) 1 Treffer
- Boulton, Richard J. 1 Treffer
- Caferra, Ricardo 1 Treffer
- Carreño, Victor A. 1 Treffer
- Cassez, Franck (1967-) 1 Treffer
- Chou, Shang-Ching (1946-) 1 Treffer
- Cialdea Mayer, Marta 1 Treffer
- Dix, Jürgen 1 Treffer
- Duffy, David A. 1 Treffer
- Dyckhoff, Roy 1 Treffer
- Egly, Uwe 1 Treffer
- Fitting, Melvin (1942-) 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
- Graf, Peter 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, Hélène 1 Treffer
- Konrad, Karsten 1 Treffer
94 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, 1990Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1980Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1990Monographie, 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: