info@buecher-doppler.ch

056 222 53 47

Registrieren/Login

Start
Decidable Theories

Decidable Theories

Decidable Theories

Angebote / Angebote:

Decidability and completeness of SC.- Benefits of the decision procedure.

Folgt in ca. 5 Arbeitstagen

Preis

36,50 CHF

Verfügbarkeit:

Lieferbar

Produktinformation
Kundenbewertungen

Produktinformation

Artikelnummer 9783540049098
Status Folgt in ca. 5 Arbeitstagen
Autor Siefkes, Dirk / Müller, Gert H.
Einband Kartonierter Einband (Kt)
Sprache eng
Seiten 144
Verlag Springer Berlin Heidelberg
Reihe Lecture Notes in Mathematics
Publikationsjahr 19700101

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.