Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 102 Treffer
- Algorithmus 101 Treffer
- Automatisches Beweisverfahren 74 Treffer
- Theoretische Informatik 71 Treffer
- Informatik 48 Treffer
-
45 weitere Werte:
- Künstliche Intelligenz 47 Treffer
- Komplexitätstheorie 46 Treffer
- Computeralgebra 40 Treffer
- Maschinelles Lernen 39 Treffer
- Logik 32 Treffer
- Algorithmische Geometrie 31 Treffer
- Kombinatorische Optimierung 31 Treffer
- Berechnungskomplexität 29 Treffer
- Mathematische Logik 29 Treffer
- Programmierung 29 Treffer
- Softwareentwicklung 25 Treffer
- Datenstruktur 24 Treffer
- Graphentheorie 23 Treffer
- Verteilter Algorithmus 23 Treffer
- Verteiltes System 23 Treffer
- Formale Methode 22 Treffer
- Verifikation 22 Treffer
- Computational logic 20 Treffer
- Berechnungstheorie 19 Treffer
- Beweistheorie 19 Treffer
- Kombinatorik 19 Treffer
- Programmierlogik 19 Treffer
- Algorithmentheorie 18 Treffer
- Evolutionärer Algorithmus 18 Treffer
- Inferenz (Künstliche Intelligenz) 18 Treffer
- Datenbanksystem 17 Treffer
- Nichtmonotones Schließen 16 Treffer
- Constraint-Programmierung 15 Treffer
- Soft Computing 15 Treffer
- Approximationsalgorithmus 14 Treffer
- Data Mining 14 Treffer
- Model Checking 14 Treffer
- Paralleler Algorithmus 14 Treffer
- Algebra 13 Treffer
- Approximation 13 Treffer
- Genetischer Algorithmus 13 Treffer
- Mustervergleich 13 Treffer
- Parallelverarbeitung 13 Treffer
- Bioinformatik 12 Treffer
- HOL 12 Treffer
- Induktive Logik 12 Treffer
- Mustererkennung 12 Treffer
- Optimierung 12 Treffer
- Programmtransformation 12 Treffer
- Typentheorie 12 Treffer
Sprache
Form
Person
- Gabbay, Dov M. (1945-) 11 Treffer
- Dehne, Frank (1960-) 9 Treffer
- Börger, Egon 8 Treffer
- Calmet, Jacques 7 Treffer
- Dix, Jürgen 7 Treffer
-
45 weitere Werte:
- Zimmermann, Wolf 7 Treffer
- Abramsky, Samson (1953-) 6 Treffer
- Goos, Gerhard (1937-2020) 6 Treffer
- Jansen, Klaus 6 Treffer
- Wang, Lipo 6 Treffer
- Akiyama, Jin (1946-) 5 Treffer
- Apt, Krzysztof R. (1949-) 5 Treffer
- Cormen, Thomas H. 5 Treffer
- Huang, De-Shuang 5 Treffer
- Peters, James F. 5 Treffer
- Bibel, Wolfgang 4 Treffer
- Burke, Edmund 4 Treffer
- Calude, Cristian (1952-) 4 Treffer
- Du, Dingzhu (1948-) 4 Treffer
- Gottlob, Georg 4 Treffer
- Lanzi, Pier Luca 4 Treffer
- Leeuwen, Jan van 4 Treffer
- Nerode, Anil (1932-) 4 Treffer
- Siekmann, Jörg 4 Treffer
- Sussman, Julie 4 Treffer
- Apostolico, Alberto (1948-) 3 Treffer
- Asano, Tetsuo 3 Treffer
- Ausiello, Giorgio (1941-) 3 Treffer
- Baader, Franz (1959-) 3 Treffer
- Deprettere, Ed F. (1944-) 3 Treffer
- Dorigo, Marco 3 Treffer
- Downey, R. G. (1957-) 3 Treffer
- Dyckhoff, Roy 3 Treffer
- Díaz, Josep (1950-) 3 Treffer
- Erlebach, Thomas 3 Treffer
- Fossorier, Marc (1964-) 3 Treffer
- Hartmanis, Juris 3 Treffer
- Huet, Gérard 3 Treffer
- Kirchner, Hélène 3 Treffer
- Lemonds, Carl E. 3 Treffer
- Miola, Alfonso 3 Treffer
- Nikoletseas, Sotiris 3 Treffer
- Palma, José M. L. M. 3 Treffer
- Pardalos, Panos M. (1954-) 3 Treffer
- Swartzlander, Earl Eugene (1945-) 3 Treffer
- Torra, Vicenç 3 Treffer
- Voronkov, Andrei 3 Treffer
- Wang, Jun 3 Treffer
- Aagaard, Mark 2 Treffer
- Akl, Selim G. 2 Treffer
1.048 Treffer
-
Oxford: Clarendon Press, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
3., überarb. Aufl.. - Berlin [u.a.]: Springer, 2000Sammelwerk, Teil eines Werkes, 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:
-
3., überarb. und erw. Aufl.. - München: Oldenbourg, 2010Lehrbuch, 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 [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:
-
New York [u.a.]: Springer, 1990Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: