Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmierlogik 14 Treffer
- Automatisches Beweisverfahren 12 Treffer
- Induktive Logik 12 Treffer
- Nichtmonotones Schließen 11 Treffer
- Computational logic 10 Treffer
-
45 weitere Werte:
- Logik 10 Treffer
- Programmsynthese 10 Treffer
- Programmtransformation 10 Treffer
- Theoretische Informatik 9 Treffer
- Künstliche Intelligenz 8 Treffer
- Wissensrepräsentation 8 Treffer
- Computerlinguistik 6 Treffer
- Funktionale Programmierung 6 Treffer
- Programmierung 6 Treffer
- Maschinelles Lernen 5 Treffer
- Mathematische Logik 5 Treffer
- Algebraische Spezifikation 4 Treffer
- Datenbanksystem 4 Treffer
- Mehragentensystem 4 Treffer
- Metaprogrammierung 4 Treffer
- Termersetzungssystem 4 Treffer
- Typentheorie 4 Treffer
- Data Mining 3 Treffer
- Deduktives Datenbanksystem 3 Treffer
- Deklarative Programmierung 3 Treffer
- Entscheidungsunterstützungssystem 3 Treffer
- Inferenz (Künstliche Intelligenz) 3 Treffer
- Logischer Schluss 3 Treffer
- PROLOG (Programmiersprache) 3 Treffer
- Programmverifikation 3 Treffer
- Wissensbasiertes System 3 Treffer
- Wissensmanagement 3 Treffer
- Wissensverarbeitung 3 Treffer
- World Wide Web 3 Treffer
- Constraint-Programmierung 2 Treffer
- Deduktionssystem 2 Treffer
- Formale Grammatik 2 Treffer
- Formale Sprache 2 Treffer
- Kategorientheorie 2 Treffer
- Natürliche Sprache 2 Treffer
- Softwareentwicklung 2 Treffer
- Unterstützungssystem (Informatik) 2 Treffer
- Abduktion (Logik) 1 Treffer
- Abstrakter Datentyp 1 Treffer
- Algorithmische Lerntheorie 1 Treffer
- Anwendung 1 Treffer
- Anwendungssoftware 1 Treffer
- Attributierte Grammatik 1 Treffer
- Auszeichnungssprache 1 Treffer
- Autonomer Agent 1 Treffer
Sprache
Form
Person
- Dix, Jürgen 3 Treffer
- Antoniou, Grigorios 2 Treffer
- Baaz, Matthias (1960-) 2 Treffer
- Bruynooghe, Maurice 2 Treffer
- Cussens, James 2 Treffer
-
45 weitere Werte:
- Dyckhoff, Roy 2 Treffer
- Džeroski, Sašo (1968-) 2 Treffer
- Etalle, Sandro 2 Treffer
- Gochet, Paul 2 Treffer
- Hanus, Michael 2 Treffer
- Lavrač, Nada 2 Treffer
- Małuszyński, Jan 2 Treffer
- Muggleton, Stephen 2 Treffer
- Pereira, Luís Moniz (1947-) 2 Treffer
- Pettorossi, Alberto 2 Treffer
- Thayse, André (1940-) 2 Treffer
- Alferes, José Júlio 1 Treffer
- Alferes, José Júlio (1966-) 1 Treffer
- Amble, Tore 1 Treffer
- Apt, Krzysztof R. (1949-) 1 Treffer
- Baldoni, Matteo 1 Treffer
- Baldwin, James F. (1938-) 1 Treffer
- Baral, Chitta 1 Treffer
- Bartenstein, Oskar 1 Treffer
- Beckstein, Clemens (1960-) 1 Treffer
- Beierle, Christoph (1954-) 1 Treffer
- Bergadano, Francesco (1963-) 1 Treffer
- Blache, Philippe 1 Treffer
- Blackburn, Patrick 1 Treffer
- Boley, Harold 1 Treffer
- Bossi, Annalisa 1 Treffer
- Bradfield, Julian Charles 1 Treffer
- Brayshaw, Mike 1 Treffer
- Brazdil, Pavel 1 Treffer
- Böhringer, Bernhard 1 Treffer
- Camacho, Rui 1 Treffer
- Chiopris, Carlo 1 Treffer
- Clote, Peter 1 Treffer
- Codognet, Philippe (1963-) 1 Treffer
- Comyn, Gérard 1 Treffer
- Cremers, Armin B. (1946-) 1 Treffer
- Das, Subrata Kumar (1962-) 1 Treffer
- De Raedt, Luc (1964-) 1 Treffer
- Demoen, Bart 1 Treffer
- Deransart, Pierre 1 Treffer
- Eisenstadt, Marc 1 Treffer
- Eiter, Thomas 1 Treffer
- Fisher, Michael 1 Treffer
- Flener, Pierre 1 Treffer
- Flesca, Sergio (1971-) 1 Treffer
115 Treffer
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Horwood, 1990Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North Holland, 1995Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1989Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Taunton: Research Studies Press [u.a.], 1995Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
3. [Dr.]. - Stanford, Calif.: CSLI, Center for the Study of Language and Information, [19]90Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: