Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Künstliche Intelligenz 9 Treffer
- Automatisches Beweisverfahren 7 Treffer
- Constraint (Künstliche Intelligenz) 3 Treffer
- Deduktionssystem 3 Treffer
- Entscheidungsproblem 3 Treffer
-
19 weitere Werte:
- Lineare Optimierung 3 Treffer
- Mathematische Logik 3 Treffer
- Wissenschaftliches Rechnen 3 Treffer
- Fehlerkorrekturcode 2 Treffer
- Kryptologie 2 Treffer
- Reduktionssystem 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Algorithmische Geometrie 1 Treffer
- Analysis 1 Treffer
- Expertensystem 1 Treffer
- Geometrische Algebra 1 Treffer
- Gruppentheorie 1 Treffer
- Kommutative Algebra 1 Treffer
- Logische Programmierung 1 Treffer
- Mechanik 1 Treffer
- Numerische Mathematik 1 Treffer
- Paralleler Algorithmus 1 Treffer
- Parallelverarbeitung 1 Treffer
- Typentheorie 1 Treffer
Sprache
Form
Person
- Calmet, Jacques 7 Treffer
- Fitch, John 2 Treffer
- Fossorier, Marc (1964-) 2 Treffer
- Ganža, Viktor G. 2 Treffer
- Miola, Alfonso 2 Treffer
-
18 weitere Werte:
- Armando, Alessandro 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
- Gianni, Patrizia 1 Treffer
- Gramlich, Bernhard 1 Treffer
- Houstis, Elias N. 1 Treffer
- Janssen, Rainer 1 Treffer
- Kirchner, Hélène 1 Treffer
- Kreuzer, Edwin 1 Treffer
- Li, Hongbo 1 Treffer
- Meyer, Kenneth R. (1937-) 1 Treffer
- Pavelle, Richard 1 Treffer
- Robbiano, Lorenzo (1944-) 1 Treffer
- Schwichtenberg, Helmut (1942-) 1 Treffer
- Winkler, Franz 1 Treffer
34 Treffer
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Wien [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, 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:
-
New York [u.a.]: Academic Pr, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. print.. - New York [u.a.]: Dekker, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: