Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 18 Treffer
- HOL 13 Treffer
- Programmierlogik 12 Treffer
- Künstliche Intelligenz 9 Treffer
- Mathematische Logik 8 Treffer
-
45 weitere Werte:
- Beweistheorie 7 Treffer
- Computeralgebra 7 Treffer
- Geometrie 7 Treffer
- Deduktionssystem 5 Treffer
- Logik 4 Treffer
- Constraint (Künstliche Intelligenz) 3 Treffer
- Entscheidungsproblem 3 Treffer
- Geometrische Modellierung 3 Treffer
- Gleichungstheorie 3 Treffer
- Hardwareverifikation 3 Treffer
- Lineare Optimierung 3 Treffer
- Programmsynthese 3 Treffer
- Typentheorie 3 Treffer
- Anwendung 2 Treffer
- Formale Methode 2 Treffer
- Induktionsbeweis 2 Treffer
- Inferenz (Künstliche Intelligenz) 2 Treffer
- Logischer Entwurf 2 Treffer
- Mathematik 2 Treffer
- Nichtmonotones Schließen 2 Treffer
- Nonstandard-Logik 2 Treffer
- Programmverifikation 2 Treffer
- Prädikatenlogik 2 Treffer
- Reduktionssystem 2 Treffer
- Stufe 1 2 Treffer
- Terminierung (Informatik) 2 Treffer
- Typisierter Lambda-Kalkül 2 Treffer
- Unifikationstheorie 2 Treffer
- Algebraische Kurve 1 Treffer
- Algebraische Spezifikation 1 Treffer
- Algorithmische Geometrie 1 Treffer
- Algorithmus 1 Treffer
- Arithmetik 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Auflösungsprinzip 1 Treffer
- Computer 1 Treffer
- Computersimulation 1 Treffer
- Deduktion 1 Treffer
- Entscheidbarkeit 1 Treffer
- Entwurfsautomation 1 Treffer
- Existenzaussage 1 Treffer
- Expertensystem 1 Treffer
- Formale Semantik 1 Treffer
- Formale Sprache 1 Treffer
- Formalisierung 1 Treffer
Sprache
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
- Birtwistle, Graham M. (1939-) 2 Treffer
- Boyer, Robert S. 2 Treffer
- Ganzinger, Harald 2 Treffer
- Hofbauer, Dieter 2 Treffer
- Kutsche, Ralf-Detlef (1955-) 2 Treffer
- Mccune, William 2 Treffer
- Nieuwenhuis, Robert 2 Treffer
- Siekmann, Jörg 2 Treffer
- Aagaard, Mark 1 Treffer
- Altenkirch, Thorsten 1 Treffer
- Anlauff, Matthias 1 Treffer
- Armando, Alessandro 1 Treffer
- Baaz, Matthias (1960-) 1 Treffer
- Bachmair, Leo 1 Treffer
- Beckert, Bernhard 1 Treffer
- Bertot, Yves 1 Treffer
- Bittel, Oliver 1 Treffer
- Biundo, Susanne 1 Treffer
- Bledsoe, Woody W. (1921-1995) 1 Treffer
- Bläsius, Karl Hans (1952-) 1 Treffer
- Boulton, Richard J. 1 Treffer
- Burghardt, Jochen 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
- Claesen, Luc J. 1 Treffer
- Dietrich, Roland 1 Treffer
- Dix, Jürgen 1 Treffer
- Duffy, David A. 1 Treffer
- Dyckhoff, Roy 1 Treffer
- Egly, Uwe 1 Treffer
- Ertel, Wolfgang 1 Treffer
- Farreny, Henri 1 Treffer
- Fitting, Melvin (1942-) 1 Treffer
- Fuchs, Norbert E. 1 Treffer
- Furbach, Ulrich (1948-) 1 Treffer
- Gallier, Jean H. (1949-) 1 Treffer
- Galmiche, Didier 1 Treffer
- Gao, Xiao-Shan (1963-) 1 Treffer
- Giménez, Eduardo (1967-) 1 Treffer
- Goré, Rajeev 1 Treffer
116 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:
-
London [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Braunschweig: Vieweg, 1991Monographie, Hochschulschrift, 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:
-
München [u.a.]: Oldenbourg, 1995Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: