Achtung:
Auf dieses Seite bzw. Funktion können Sie nur zugreifen, wenn Sie sich im Campusnetz befinden oder angemeldet haben.
Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Automatisches Beweisverfahren 18 Treffer
- Programmierlogik 15 Treffer
- Nichtmonotones Schließen 12 Treffer
- Induktive Logik 11 Treffer
- Logik 10 Treffer
-
45 weitere Werte:
- Programmsynthese 10 Treffer
- Programmtransformation 10 Treffer
- Computational logic 9 Treffer
- Mathematische Logik 9 Treffer
- Theoretische Informatik 9 Treffer
- Programmierung 7 Treffer
- Algebraische Spezifikation 6 Treffer
- Wissensrepräsentation 6 Treffer
- Datenbanksystem 5 Treffer
- Künstliche Intelligenz 5 Treffer
- Termersetzungssystem 5 Treffer
- Deduktives Datenbanksystem 4 Treffer
- Funktionale Programmierung 4 Treffer
- Maschinelles Lernen 4 Treffer
- Metaprogrammierung 4 Treffer
- Programmverifikation 4 Treffer
- Komplexitätstheorie 3 Treffer
- Logischer Schluss 3 Treffer
- Softwareentwicklung 3 Treffer
- Typentheorie 3 Treffer
- Algebra 2 Treffer
- Berechnungstheorie 2 Treffer
- Constraint-logische Programmierung 2 Treffer
- Formale Semantik 2 Treffer
- Gleichungstheorie 2 Treffer
- Horn-Klausel 2 Treffer
- Inferenz (Künstliche Intelligenz) 2 Treffer
- Klausellogik 2 Treffer
- Mehragentensystem 2 Treffer
- Wissensverarbeitung 2 Treffer
- Abduktion (Logik) 1 Treffer
- Abstrakter Datentyp 1 Treffer
- Algorithmische Lerntheorie 1 Treffer
- Algorithmus 1 Treffer
- Anwendung 1 Treffer
- Attributierte Grammatik 1 Treffer
- Automatische Parallelisierung 1 Treffer
- B (Programmiersprache) 1 Treffer
- Beweistheorie 1 Treffer
- Computer 1 Treffer
- Computeralgebra 1 Treffer
- Datenstruktur 1 Treffer
- Datenverarbeitung 1 Treffer
- Deduktionssystem 1 Treffer
- Deklarative Programmierung 1 Treffer
Sprache
Form
Person
- Dix, Jürgen 5 Treffer
- Nerode, Anil (1932-) 4 Treffer
- Apt, Krzysztof R. (1949-) 3 Treffer
- Baaz, Matthias (1960-) 2 Treffer
- Beierle, Christoph (1954-) 2 Treffer
-
45 weitere Werte:
- Bruynooghe, Maurice 2 Treffer
- Dyckhoff, Roy 2 Treffer
- Džeroski, Sašo (1968-) 2 Treffer
- Etalle, Sandro 2 Treffer
- Hanus, Michael 2 Treffer
- Lau, Kung-Kiu 2 Treffer
- Lavrač, Nada 2 Treffer
- Muggleton, Stephen 2 Treffer
- Palamidessi, Catuscia 2 Treffer
- Pereira, Luís Moniz (1947-) 2 Treffer
- Pettorossi, Alberto 2 Treffer
- Shore, Richard A. (1946-) 2 Treffer
- Voronkov, Andrei 2 Treffer
- Alferes, José Júlio 1 Treffer
- Alferes, José Júlio (1966-) 1 Treffer
- Altenkirch, Thorsten 1 Treffer
- Amble, Tore 1 Treffer
- Antoniou, Grigorios 1 Treffer
- Baral, Chitta 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Beaumont, Antony (1949-) 1 Treffer
- Ben-Arî, Môtî (1948-) 1 Treffer
- Bergadano, Francesco (1963-) 1 Treffer
- Blackburn, Patrick 1 Treffer
- Boley, Harold 1 Treffer
- Boscarol, Mauro 1 Treffer
- Bossi, Annalisa 1 Treffer
- Bradfield, Julian Charles 1 Treffer
- Brough, Derek R. 1 Treffer
- Bruynooghe, M. 1 Treffer
- Börger, Egon 1 Treffer
- Camacho, Rui 1 Treffer
- Clement, Timothy Paul 1 Treffer
- Clote, Peter 1 Treffer
- Comyn, Gérard 1 Treffer
- Cremers, Armin B. (1946-) 1 Treffer
- Crossley, John N. (1937-) 1 Treffer
- Cussens, James 1 Treffer
- Das, Subrata Kumar (1962-) 1 Treffer
- De Raedt, Luc (1964-) 1 Treffer
- Demoen, Bart 1 Treffer
- Deransart, Pierre 1 Treffer
- Deschreye, Danny 1 Treffer
- Doets, Kees 1 Treffer
- Eiter, Thomas 1 Treffer
127 Treffer
-
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:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. print.. - Rockville, Md.: Computer Science Pr, 1988Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, 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, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: