Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 97 Treffer
- Algorithmus 91 Treffer
- Theoretische Informatik 75 Treffer
- Automatisches Beweisverfahren 70 Treffer
- Informatik 51 Treffer
-
45 weitere Werte:
- Künstliche Intelligenz 44 Treffer
- Komplexitätstheorie 41 Treffer
- Maschinelles Lernen 35 Treffer
- Computeralgebra 34 Treffer
- Algorithmische Geometrie 31 Treffer
- Programmierung 30 Treffer
- Logik 29 Treffer
- Kombinatorische Optimierung 28 Treffer
- Mathematische Logik 24 Treffer
- Verteilter Algorithmus 24 Treffer
- Datenstruktur 23 Treffer
- Graphentheorie 23 Treffer
- Verteiltes System 23 Treffer
- Berechnungskomplexität 22 Treffer
- Softwareentwicklung 22 Treffer
- Verifikation 21 Treffer
- Computational logic 19 Treffer
- Kombinatorik 19 Treffer
- Programmierlogik 19 Treffer
- Datenbanksystem 18 Treffer
- Formale Methode 18 Treffer
- Beweistheorie 17 Treffer
- Evolutionärer Algorithmus 17 Treffer
- Berechnungstheorie 16 Treffer
- Algorithmentheorie 15 Treffer
- Constraint-Programmierung 15 Treffer
- Datenverarbeitung 15 Treffer
- Genetischer Algorithmus 15 Treffer
- Nichtmonotones Schließen 15 Treffer
- Parallelverarbeitung 15 Treffer
- Soft Computing 15 Treffer
- Inferenz (Künstliche Intelligenz) 14 Treffer
- Algebra 13 Treffer
- Approximation 13 Treffer
- Approximationsalgorithmus 13 Treffer
- Data Mining 13 Treffer
- HOL 13 Treffer
- Model Checking 13 Treffer
- Mustervergleich 13 Treffer
- Bioinformatik 12 Treffer
- Induktive Logik 12 Treffer
- Typentheorie 12 Treffer
- Constraint (Künstliche Intelligenz) 11 Treffer
- Mustererkennung 11 Treffer
- Programmtransformation 11 Treffer
Sprache
Form
Person
- Dehne, Frank (1960-) 9 Treffer
- Börger, Egon 7 Treffer
- Calmet, Jacques 7 Treffer
- Dix, Jürgen 7 Treffer
- Jansen, Klaus 6 Treffer
-
45 weitere Werte:
- Akiyama, Jin (1946-) 5 Treffer
- Burke, Edmund 4 Treffer
- Calude, Cristian (1952-) 4 Treffer
- Du, Dingzhu (1948-) 4 Treffer
- Gottlob, Georg 4 Treffer
- Lanzi, Pier Luca 4 Treffer
- Nerode, Anil (1932-) 4 Treffer
- Apostolico, Alberto (1948-) 3 Treffer
- Apt, Krzysztof R. (1949-) 3 Treffer
- Asano, Tetsuo 3 Treffer
- Deprettere, Ed F. (1944-) 3 Treffer
- Dorigo, Marco 3 Treffer
- Dyckhoff, Roy 3 Treffer
- Díaz, Josep (1950-) 3 Treffer
- Erlebach, Thomas 3 Treffer
- Fossorier, Marc (1964-) 3 Treffer
- Gabbay, Dov M. (1945-) 3 Treffer
- Huet, Gérard 3 Treffer
- Kirchner, Hélène 3 Treffer
- Leeuwen, Jan van 3 Treffer
- Nikoletseas, Sotiris 3 Treffer
- Palma, José M. L. M. 3 Treffer
- Torra, Vicenç 3 Treffer
- Voronkov, Andrei 3 Treffer
- Wang, Lipo 3 Treffer
- Aagaard, Mark 2 Treffer
- Akl, Selim G. 2 Treffer
- Alur, Rajeev 2 Treffer
- Arikawa, Setsuo 2 Treffer
- Asperti, Andrea 2 Treffer
- Ausiello, Giorgio (1941-) 2 Treffer
- Aït-Kaci, Hassan 2 Treffer
- Baader, Franz (1959-) 2 Treffer
- Baaz, Matthias (1960-) 2 Treffer
- Backhouse, Roland 2 Treffer
- Basin, David 2 Treffer
- Ben-David, Shai 2 Treffer
- Berardi, Stefano 2 Treffer
- Bilardi, Gianfranco 2 Treffer
- Birtwistle, Graham M. (1939-) 2 Treffer
- Bodlaender, Hans L. 2 Treffer
- Bongiovanni, Giancarlo 2 Treffer
- Brandes, Ulrik (1968-) 2 Treffer
- Broy, Manfred (1949-) 2 Treffer
- Cao, Jiannong 2 Treffer
902 Treffer
-
Oxford: Clarendon Press, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer Academic, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2007Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cham [u.a.]: Springer, 2015Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Acad. Pr, 1989Konferenzschrift, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: