Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 84 Treffer
- Algorithmus 83 Treffer
- Theoretische Informatik 67 Treffer
- Automatisches Beweisverfahren 64 Treffer
- Künstliche Intelligenz 42 Treffer
-
45 weitere Werte:
- Informatik 41 Treffer
- Komplexitätstheorie 37 Treffer
- Maschinelles Lernen 32 Treffer
- Algorithmische Geometrie 31 Treffer
- Kombinatorische Optimierung 28 Treffer
- Computeralgebra 27 Treffer
- Logik 25 Treffer
- Programmierung 25 Treffer
- Graphentheorie 23 Treffer
- Datenstruktur 22 Treffer
- Berechnungskomplexität 21 Treffer
- Verteilter Algorithmus 21 Treffer
- Verifikation 20 Treffer
- Verteiltes System 20 Treffer
- Mathematische Logik 19 Treffer
- Programmierlogik 19 Treffer
- Softwareentwicklung 18 Treffer
- Beweistheorie 17 Treffer
- Computational logic 17 Treffer
- Datenbanksystem 16 Treffer
- Formale Methode 16 Treffer
- Kombinatorik 16 Treffer
- Berechnungstheorie 15 Treffer
- Constraint-Programmierung 15 Treffer
- Evolutionärer Algorithmus 15 Treffer
- Soft Computing 15 Treffer
- Genetischer Algorithmus 14 Treffer
- Inferenz (Künstliche Intelligenz) 14 Treffer
- Parallelverarbeitung 14 Treffer
- Algorithmentheorie 13 Treffer
- Approximationsalgorithmus 13 Treffer
- Data Mining 13 Treffer
- Mustervergleich 13 Treffer
- Nichtmonotones Schließen 13 Treffer
- Algebra 12 Treffer
- Bioinformatik 12 Treffer
- HOL 12 Treffer
- Induktive Logik 12 Treffer
- Model Checking 12 Treffer
- Approximation 11 Treffer
- Mustererkennung 11 Treffer
- Programmtransformation 11 Treffer
- Typentheorie 11 Treffer
- Berechenbarkeit 10 Treffer
- Constraint (Künstliche Intelligenz) 10 Treffer
Sprache
Form
Person
- Dehne, Frank (1960-) 9 Treffer
- Calmet, Jacques 7 Treffer
- Dix, Jürgen 7 Treffer
- Börger, Egon 6 Treffer
- Jansen, Klaus 6 Treffer
-
45 weitere Werte:
- Akiyama, Jin (1946-) 5 Treffer
- Burke, Edmund 4 Treffer
- Calude, Cristian (1952-) 4 Treffer
- Gottlob, Georg 4 Treffer
- Apostolico, Alberto (1948-) 3 Treffer
- Asano, Tetsuo 3 Treffer
- Deprettere, Ed F. (1944-) 3 Treffer
- Dorigo, Marco 3 Treffer
- Du, Dingzhu (1948-) 3 Treffer
- Dyckhoff, Roy 3 Treffer
- Díaz, Josep (1950-) 3 Treffer
- Fossorier, Marc (1964-) 3 Treffer
- Gabbay, Dov M. (1945-) 3 Treffer
- Kirchner, Hélène 3 Treffer
- Lanzi, Pier Luca 3 Treffer
- Leeuwen, Jan van 3 Treffer
- Nerode, Anil (1932-) 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
- Apt, Krzysztof R. (1949-) 2 Treffer
- Arikawa, Setsuo 2 Treffer
- Asperti, Andrea 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
- Bodlaender, Hans L. 2 Treffer
- Bongiovanni, Giancarlo 2 Treffer
- Brandes, Ulrik (1968-) 2 Treffer
- Cao, Jiannong 2 Treffer
- Chwa, Kyung-Yong 2 Treffer
- Cohen, Gérard 2 Treffer
- Crochemore, Maxime (1947-) 2 Treffer
- Downey, R. G. (1957-) 2 Treffer
- Ehrig, Hartmut (1944-2016) 2 Treffer
814 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
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:
-
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:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, 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:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: