Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Künstliche Intelligenz 10 Treffer
- Automatisches Beweisverfahren 7 Treffer
- Algorithmus 3 Treffer
- Constraint (Künstliche Intelligenz) 3 Treffer
- Deduktionssystem 3 Treffer
-
37 weitere Werte:
- Entscheidungsproblem 3 Treffer
- Lineare Optimierung 3 Treffer
- Mathematische Logik 3 Treffer
- Mechanik 3 Treffer
- Wissenschaftliches Rechnen 3 Treffer
- Computersimulation 2 Treffer
- Fehlerkorrekturcode 2 Treffer
- Kommutative Algebra 2 Treffer
- Kryptologie 2 Treffer
- Numerische Mathematik 2 Treffer
- Reduktionssystem 2 Treffer
- Statistische Physik 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Algebraischer Algorithmus 1 Treffer
- Algorithmische Geometrie 1 Treffer
- Analysis 1 Treffer
- C++ 1 Treffer
- Clifford-Algebra 1 Treffer
- Deutschland 1 Treffer
- Effizienter Algorithmus 1 Treffer
- Expertensystem 1 Treffer
- Geometrische Algebra 1 Treffer
- Gruppentheorie 1 Treffer
- Gröbner-Basis 1 Treffer
- Integration (Mathematik) 1 Treffer
- Kombinatorische Logik 1 Treffer
- Komplexitätstheorie 1 Treffer
- Lineare Algebra 1 Treffer
- Logische Programmierung 1 Treffer
- Modularität 1 Treffer
- Numerisches Verfahren 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Paralleler Algorithmus 1 Treffer
- Parallelverarbeitung 1 Treffer
- Polynom 1 Treffer
- Summierungsverfahren 1 Treffer
- Typentheorie 1 Treffer
Sprache
Form
Person
- Calmet, Jacques 7 Treffer
- Miola, Alfonso 3 Treffer
- Davenport, James Harold 2 Treffer
- Fitch, John 2 Treffer
- Fossorier, Marc (1964-) 2 Treffer
-
38 weitere Werte:
- Ganža, Viktor G. 2 Treffer
- Gerhard, Jürgen 2 Treffer
- Siret, Yvon 2 Treffer
- Stauffer, Dietrich (1943-2019) 2 Treffer
- Tournier, Evelyne 2 Treffer
- Winkler, Franz 2 Treffer
- Abłamowicz, Rafał 1 Treffer
- Akritas, Alkiviadis G. 1 Treffer
- Apel, Joachim 1 Treffer
- Armando, Alessandro 1 Treffer
- Becker, Thomas 1 Treffer
- Bronstein, Manuel 1 Treffer
- Buchberger, Bruno 1 Treffer
- Campbell, John Arthur 1 Treffer
- Chudnovsky, David (1947-) 1 Treffer
- Della Dora, Jean 1 Treffer
- Donald, Bruce R. 1 Treffer
- Engeler, Erwin 1 Treffer
- Gianni, Patrizia 1 Treffer
- Gramlich, Bernhard 1 Treffer
- Hardy, Yorick (1976-) 1 Treffer
- Houstis, Elias N. 1 Treffer
- Janssen, Rainer 1 Treffer
- Kaltofen, Erich 1 Treffer
- Kirchner, Hélène 1 Treffer
- Kreuzer, Edwin 1 Treffer
- Li, Hongbo 1 Treffer
- Meyer, Kenneth R. (1937-) 1 Treffer
- Mishra, Bhubaneswar (1958-) 1 Treffer
- Pavelle, Richard 1 Treffer
- Robbiano, Lorenzo (1944-) 1 Treffer
- Schwichtenberg, Helmut (1942-) 1 Treffer
- Steeb, Willi-Hans (1945-) 1 Treffer
- Tan, Kiat Shi (1972-) 1 Treffer
- Weispfenning, Volker 1 Treffer
- Yap, Chee Keng 1 Treffer
- Zippel, Richard E. (1952-) 1 Treffer
- Zur Gathen, Joachim von 1 Treffer
53 Treffer
-
London [u.a.]: Acad. Pr, 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Passau [u.a.], 1993Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - London [u.a.]: Acad. Press, 1993Monographie, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer, 1985Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston, Mass. [u.a.]: Kluwer Acad. Publ, 1993Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Basel [u.a.]: Birkhäuser, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Academic Pr, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - New York [u.a.]: Wiley, 1989Monographie, Gedruckte RessourceZugriff:
-
Wien [u.a.]: Springer, 1996Monographie, Gedruckte RessourceZugriff: