Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 102 Treffer
- Algorithmus 96 Treffer
- Automatisches Beweisverfahren 74 Treffer
- Theoretische Informatik 71 Treffer
- Informatik 48 Treffer
-
45 weitere Werte:
- Künstliche Intelligenz 47 Treffer
- Komplexitätstheorie 45 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
- Verifikation 22 Treffer
- Formale Methode 21 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-) 10 Treffer
- Dehne, Frank (1960-) 9 Treffer
- Börger, Egon 8 Treffer
- Calmet, Jacques 7 Treffer
- Dix, Jürgen 7 Treffer
-
45 weitere Werte:
- Jansen, Klaus 6 Treffer
- Wang, Lipo 6 Treffer
- Abramsky, Samson (1953-) 5 Treffer
- Akiyama, Jin (1946-) 5 Treffer
- Apt, Krzysztof R. (1949-) 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
- Zimmermann, Wolf 4 Treffer
- Apostolico, Alberto (1948-) 3 Treffer
- Asano, Tetsuo 3 Treffer
- Ausiello, Giorgio (1941-) 3 Treffer
- Baader, Franz (1959-) 3 Treffer
- Cormen, Thomas H. 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
- Goos, Gerhard (1937-2020) 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
- Alur, Rajeev 2 Treffer
- Arikawa, Setsuo 2 Treffer
- Asperti, Andrea 2 Treffer
- Aït-Kaci, Hassan 2 Treffer
1.026 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Repr.. - Cambridge [u.a.]: Cambridge Univ. Press, 2004Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Providence, RI: American Math. Soc, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Weinheim [u.a.]: Wiley-VCH, 1998Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Oxford University Press, 1996Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: