Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktHilfeServiceÜber Ex LibrisFirmenkundschaftFilialen
0
Erweiterte Suche
BücherE-BooksFilmeMusikGamesPapeterieGeschenke & FunSpiele

Decidable Theories

Dirk Siefkes
(0)
Erste Bewertung abgeben
Klappentext Decidability and completeness of SC.- Benefits of the decision procedure. Inhalt Decidability and completeness of SC.-...

Tiefpreis

CHF32.00

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

Klappentext

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

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

Produktinformationen

Titel:
Decidable Theories
Untertitel:
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Autor:
Dirk Siefkes
Editor:
Gert H. Müller
EAN:
9783540049098
ISBN:
3540049096
Format:
Kartonierter Einband
Herausgeber:
Springer Berlin Heidelberg
Anzahl Seiten:
144
Gewicht:
230g
Größe:
H235mm x B155mm x T9mm
Jahr:
1970
Untertitel:
Englisch
Auflage:
1970