Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Algorithmus 7 Treffer
- Logische Programmierung 6 Treffer
- Automatisches Beweisverfahren 5 Treffer
- Computeralgebra 5 Treffer
- Maschinelles Lernen 5 Treffer
-
45 weitere Werte:
- Mathematische Logik 5 Treffer
- Berechnungskomplexität 4 Treffer
- Komplexitätstheorie 4 Treffer
- Künstliche Intelligenz 4 Treffer
- Logik 4 Treffer
- Neuronales Netz 4 Treffer
- Numerische Mathematik 4 Treffer
- Softwareentwicklung 4 Treffer
- Theoretische Informatik 4 Treffer
- Wissensbasiertes System 4 Treffer
- Datenverarbeitung 3 Treffer
- Formale Methode 3 Treffer
- Genetischer Algorithmus 3 Treffer
- Inferenz (Künstliche Intelligenz) 3 Treffer
- Paralleler Algorithmus 3 Treffer
- Petri-Netz 3 Treffer
- Verteiltes System 3 Treffer
- Berechenbarkeit 2 Treffer
- Berechnungstheorie 2 Treffer
- Computerarithmetik 2 Treffer
- Eingebettetes System 2 Treffer
- Fuzzy-Logik 2 Treffer
- Informatik 2 Treffer
- Natürliche Sprache 2 Treffer
- Nebenläufigkeit 2 Treffer
- Syntaktische Analyse 2 Treffer
- Unsicherheit 2 Treffer
- Algebraische Geometrie 1 Treffer
- Ameisenalgorithmus 1 Treffer
- Anwendung 1 Treffer
- Approximatives Schließen 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Automatische Handlungsplanung 1 Treffer
- Baumautomat 1 Treffer
- Begriffsgraph 1 Treffer
- Beschränkte Arithmetik 1 Treffer
- Bewachte Logik 1 Treffer
- Beweistheorie 1 Treffer
- Bilderzeugung 1 Treffer
- Biocomputer 1 Treffer
- Brüssel <2004> 1 Treffer
- Büchi-Automat 1 Treffer
- Clifford-Algebra 1 Treffer
- Computational logic 1 Treffer
- Computer 1 Treffer
Sprache
Form
Person
- Apt, Krzysztof R. (1949-) 2 Treffer
- Börger, Egon 2 Treffer
- Hartmanis, Juris 2 Treffer
- Abłamowicz, Rafał 1 Treffer
- Aoe, Jun-ichi 1 Treffer
-
45 weitere Werte:
- Arnon, Denis S. 1 Treffer
- Benhamou, Frédéric 1 Treffer
- Bertrand, Gilles (1953-) 1 Treffer
- Bibel, Wolfgang 1 Treffer
- Bledsoe, Woody W. (1921-1995) 1 Treffer
- Bolc, Leonard 1 Treffer
- Bolc, Leonard (1934-2013) 1 Treffer
- Book, Ronald V. 1 Treffer
- Boyer, Robert S. 1 Treffer
- Braunstein, Samuel L. (1961-) 1 Treffer
- Breuker, Joost 1 Treffer
- Brough, Derek R. 1 Treffer
- Bruynooghe, Maurice 1 Treffer
- Caferra, Ricardo 1 Treffer
- Carbonell, Jaime G. 1 Treffer
- Clote, Peter 1 Treffer
- Colbourn, Charles J. (1953-) 1 Treffer
- Cortadella, Jordi 1 Treffer
- Cover, Thomas M. (1938-) 1 Treffer
- Crocco, Gabriella 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Dasgupta, Dipankar (1944-) 1 Treffer
- DeBessonet, Cary G. 1 Treffer
- Della Dora, Jean 1 Treffer
- Desel, Jörg (1959-) 1 Treffer
- Donald, Bruce R. 1 Treffer
- Dorigo, Marco 1 Treffer
- Ehrenfeucht, Andrzej (1932-) 1 Treffer
- Eijck, Jan van (1951-) 1 Treffer
- Fermüller, Christian 1 Treffer
- Fitch, John 1 Treffer
- Freksa, Christian 1 Treffer
- Furbach, Ulrich 1 Treffer
- Grädel, Erich (1958-) 1 Treffer
- Herrera, Francisco 1 Treffer
- Hoek, W. van der 1 Treffer
- Hunter, Anthony 1 Treffer
- Hutter, Dieter 1 Treffer
- Jantke, Klaus P. 1 Treffer
- Jones, Neil D. (1941-) 1 Treffer
- Kaltofen, Erich 1 Treffer
- Karpiński, Marek (1948-) 1 Treffer
- Kaucher, Edgar (1945-) 1 Treffer
- Kaufmann, Michael 1 Treffer
- Kirchner, Claude 1 Treffer
75 Treffer
-
Sankt Augustin: GMD, 1989Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Basel: Baltzer, 1988Software, Aufsatzsammlung, Sonstiges, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1985Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Mannheim [u.a.]: Bibliographisches Inst, 1976Monographie, Aufsatzsammlung, Gedruckte RessourceZugriff:
-
London [u.a.]: Acad. Press, 1992Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
1. print.. - Rockville, Md.: Computer Science Pr, 1988Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer Academic Publ, 1997Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Acad. Pr, 1990Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Wien [u.a.]: Springer, 1993Aufsatzsammlung, Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
New York [u.a.]: Springer, 1990Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Repr.. - London [u.a.].]: Acad. Pr. [u.a.], 1988Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Dordrecht [u.a.]: Kluwer, 1991Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: