Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 3 Treffer
- Berechnungskomplexität 2 Treffer
- Algorithmus 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Computeralgebra 1 Treffer
-
12 weitere Werte:
- Datenverarbeitung 1 Treffer
- Fehlerkorrekturcode 1 Treffer
- Gruppentheorie 1 Treffer
- Horn-Klausel 1 Treffer
- Logik 1 Treffer
- Mathematische Logik 1 Treffer
- Nerode, Anil (1932-) 1 Treffer
- Quantencomputer 1 Treffer
- Reduktionssystem 1 Treffer
- Rekursionstheorie 1 Treffer
- Spline-Interpolation 1 Treffer
- Unifikationstheorie 1 Treffer
Sprache
Form
Person
9 Treffer
-
Boston, Mass. [u.a.]: Birkhäuser, 1989Monographie, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1990Monographie, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston, Mass. [u.a.]: Birkhäuser, 1991Monographie, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1993Festschrift, Konferenzschrift, Bibliografie, Sammelwerk, Gedruckte RessourceZugriff:
-
Basel [u.a.]: Birkhäuser, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1999Monographie, Gedruckte RessourceZugriff:
-
Boston, Mass. [u.a.]: Birkhäuser, 2000Monographie, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 2000Monographie, Gedruckte RessourceZugriff: