Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Algorithmus 5 Treffer
- Automatisches Beweisverfahren 5 Treffer
- Mathematische Logik 5 Treffer
- Computeralgebra 4 Treffer
- Neuronales Netz 4 Treffer
-
45 weitere Werte:
- Softwareentwicklung 4 Treffer
- Theoretische Informatik 4 Treffer
- Wissensbasiertes System 4 Treffer
- Berechnungskomplexität 3 Treffer
- Formale Methode 3 Treffer
- Logik 3 Treffer
- Logische Programmierung 3 Treffer
- Maschinelles Lernen 3 Treffer
- Numerische Mathematik 3 Treffer
- Paralleler Algorithmus 3 Treffer
- Berechnungstheorie 2 Treffer
- Eingebettetes System 2 Treffer
- Genetischer Algorithmus 2 Treffer
- Inferenz (Künstliche Intelligenz) 2 Treffer
- Komplexitätstheorie 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Natürliche Sprache 2 Treffer
- Nebenläufigkeit 2 Treffer
- Petri-Netz 2 Treffer
- Syntaktische Analyse 2 Treffer
- Verteiltes System 2 Treffer
- Algebraische Geometrie 1 Treffer
- Ameisenalgorithmus 1 Treffer
- Approximatives Schließen 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Automatische Handlungsplanung 1 Treffer
- Baumautomat 1 Treffer
- Berechenbarkeit 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
- Computerarithmetik 1 Treffer
- Computerunterstütztes Verfahren 1 Treffer
- Constraint-logische Programmierung 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Datenverarbeitung 1 Treffer
- Diskrete Geometrie 1 Treffer
- Diskrete Mathematik 1 Treffer
- Dreidimensionale geometrische Modellierung 1 Treffer
Form
Person
- Hartmanis, Juris 2 Treffer
- Abłamowicz, Rafał 1 Treffer
- Apt, Krzysztof R. (1949-) 1 Treffer
- Arnon, Denis S. 1 Treffer
- Benhamou, Frédéric 1 Treffer
-
45 weitere Werte:
- Bertrand, Gilles (1953-) 1 Treffer
- Bledsoe, Woody W. (1921-1995) 1 Treffer
- Bolc, Leonard 1 Treffer
- Bolc, Leonard (1934-2013) 1 Treffer
- Boyer, Robert S. 1 Treffer
- Braunstein, Samuel L. (1961-) 1 Treffer
- Breuker, Joost 1 Treffer
- Bruynooghe, Maurice 1 Treffer
- Börger, Egon 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
- Crocco, Gabriella 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Dasgupta, Dipankar (1944-) 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
- Grädel, Erich (1958-) 1 Treffer
- Herrera, Francisco 1 Treffer
- Hunter, Anthony 1 Treffer
- Hutter, Dieter 1 Treffer
- Jantke, Klaus P. 1 Treffer
- Jones, Neil D. (1941-) 1 Treffer
- Karpiński, Marek (1948-) 1 Treffer
- Kaucher, Edgar (1945-) 1 Treffer
- Kaufmann, Michael 1 Treffer
- Krakowiak, Sacha 1 Treffer
- Kumar, Vipin (1956-) 1 Treffer
- Lassez, Jean-Louis 1 Treffer
- Lenski, Wolfgang (1952-) 1 Treffer
- Meyer, Ulrich 1 Treffer
- Miola, Alfonso 1 Treffer
- Mycielski, Jan (1932-) 1 Treffer
- Odifreddi, Piergiorgio (1950-) 1 Treffer
- Olderog, Ernst-Rüdiger (1955-) 1 Treffer
- Owe, Olaf (1951-) 1 Treffer
- Pardalos, Panos M. (1954-) 1 Treffer
57 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1985Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1988Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Oxford: Clarendon Press, 1993Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr, 1994Aufsatzsammlung, Sammelwerk, 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:
-
Cambridge, Mass. [u.a.]: MIT Press, 1995Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Weinheim [u.a.]: Wiley-VCH, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Heidelberg: Physica-Verl, 1996Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: IOS Pr. [u.a.], 1994Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: