Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Datenverarbeitung 4 Treffer
- Grundlage 3 Treffer
- Anwendung 2 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Informatik 2 Treffer
-
12 weitere Werte:
- Künstliche Intelligenz 2 Treffer
- Mathematische Logik 2 Treffer
- Programmierung 2 Treffer
- Algorithmus 1 Treffer
- Berechnungskomplexität 1 Treffer
- Geschichte 1 Treffer
- Induktion 1 Treffer
- Komplexität 1 Treffer
- Logik 1 Treffer
- Rekursion 1 Treffer
- Softwareentwicklung 1 Treffer
- Theoretische Informatik 1 Treffer
Sprache
Form
Person
9 Treffer
-
3. ed.. - Boston [u.a.]: Birkhäuser, 1990Monographie, Gedruckte RessourceZugriff:
-
9. [Dr.]. - New York: Freeman [u.a.], [198]7Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: North Holland, 1980Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge University Press, 1999Monographie, Gedruckte RessourceZugriff:
-
Berlin ; Heidelberg [u.a.]: Springer, 1993Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
4. print., with corr.. - London [u.a.]: Acad. Press, 1983 [erschienen] 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
London [u.a.]: Acad. Press, 1983Monographie, Gedruckte RessourceZugriff: