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
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: IOS Pr. [u.a.], 1994Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
London: Pitman [u.a.], 1986Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Aufsatzsammlung, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1988Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Repr.. - London [u.a.].]: Acad. Pr. [u.a.], 1988Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1987Aufsatzsammlung, Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Oxford [u.a.]: Clarendon Press, 1995Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Warszawa: PWN, Pol. Scientif. Publ, 1988Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1991Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: