Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Automatisches Beweisverfahren 2 Treffer
- Komplexitätstheorie 2 Treffer
- Paralleler Algorithmus 2 Treffer
- Algorithmus 1 Treffer
- Berechnungskomplexität 1 Treffer
-
31 weitere Werte:
- Beweis 1 Treffer
- Datenübertragung 1 Treffer
- Existenzaussage 1 Treffer
- Induktionsbeweis 1 Treffer
- Inferenzsystem 1 Treffer
- Konnektionistisches Netz 1 Treffer
- Konstruktion 1 Treffer
- Korrektheit 1 Treffer
- Kryptologie 1 Treffer
- Logische Schaltung 1 Treffer
- Logischer Schluss 1 Treffer
- Lokales Suchverfahren 1 Treffer
- Massive Parallelität 1 Treffer
- Nebenläufigkeit 1 Treffer
- Parallelverarbeitung 1 Treffer
- Primzahl 1 Treffer
- Programmsynthese 1 Treffer
- Programmverfeinerung 1 Treffer
- Relationales Datenbanksystem 1 Treffer
- Rondomisierung 1 Treffer
- Spielbaum-Suchverfahren 1 Treffer
- Temporale Logik 1 Treffer
- Turing-Maschine 1 Treffer
- Unendlichdimensionales System 1 Treffer
- Unvollkommene Information 1 Treffer
- Verifikation 1 Treffer
- Wettbewerb 1 Treffer
- Wissensrepräsentationssprache 1 Treffer
- Zahlentheorie 1 Treffer
- Zufallsgenerator 1 Treffer
- Zufallsvariable 1 Treffer
Form
Person
- Back, R. J. R. 1 Treffer
- Biundo, Susanne 1 Treffer
- Bol, Roland N. 1 Treffer
- Bradfield, Julian Charles 1 Treffer
- Brillowski, Claus 1 Treffer
-
18 weitere Werte:
- Chren, William A. 1 Treffer
- Christodoulakis, Dimitris N. 1 Treffer
- Dewitt, Henry K. 1 Treffer
- Ertel, Wolfgang 1 Treffer
- Goldsmith, Judith A. 1 Treffer
- Grahne, Gösta 1 Treffer
- Henke, Friedrich Wilhelm von 1 Treffer
- Herrera-Ball, Juan Antonio 1 Treffer
- Karchmer, Mauricio 1 Treffer
- Kilian, Joe 1 Treffer
- Kim, Myong-Hi 1 Treffer
- Nisan, Noam 1 Treffer
- Reinefeld, Alexander 1 Treffer
- Smolka, Scott A. 1 Treffer
- Strohmaier, Antje 1 Treffer
- Tromp, Johannes Theodorus 1 Treffer
- Weihrauch, Klaus (1943-) 1 Treffer
- Zhang, Yanjun 1 Treffer
23 Treffer
-
1997Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1992Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
St. Augustin: Infix, 1993Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
2. print.. - Cambridge, Mass. [u.a.]: MIT Pr, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
1993Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Amsterdam: CWI, 1995Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
1977Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1992Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Amsterdam: Mathematisch Centrum, 1980Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1980Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Als Ms. gedr.. - St. Augustin, 1974Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Als Ms. gedr.. - St. Augustin, 1974Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Ann Arbor, Mich.: Univ. Microfilms Internat, [1990]Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Ann Arbor, Mich.: Univ. Microfilms Internat, 1987Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Ann Arbor, Mich.: Univ. Microfilms Internat, [1988]Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Ann Arbor, Mich.: Univ. Microfilms Internat, 1987Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff: