Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktGeschenkefinderGutscheineFirmenkundschaftFilialen
0
Erweiterte Suche
📚Die beliebtesten Bücher 2025
Zu den Jahresbestsellern

Decidable Theories

Von:
Dirk Siefkes

Beschreibung

Klappentext

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


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

Format auswählen

Kartonierter Einband
CHF32.00
E-Book (pdf)
CHF36.90
TIEFPREIS
CHF32.00
Print on Demand - Exemplar wird für Sie besorgt. 
Kostenlose Lieferung 

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: Bchi`s Monadic Second Order Successor Arithmetic
Autor:
Dirk Siefkes
Editor:
Gert H. Müller
EAN:
9783540049098
ISBN:
3540049096
Format:
Kartonierter Einband
Herausgeber:
Springer
Veröffentlichung:
01.01.1970
Anzahl Seiten:
144
Gewicht:
230g
Größe:
H235mm x B155mm x T9mm
Jahr:
1970
Untertitel:
Englisch
Lesemotiv:
Verstehen