Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktGeschenkefinderGutscheineFirmenkundschaftFilialen
0
Erweiterte Suche
🔥10% auf alle Bücher
Jetzt profitieren

Decidable Theories

Von:
Dirk Siefkes

Beschreibung

Inhalt

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

Format auswählen

E-Book (pdf)
CHF36.90
Kartonierter Einband
CHF 32.00
CHF28.80
CHF36.90
Download steht sofort bereit 
Kein Rückgaberecht 
10% Rabatt auf alle Bücher

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

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:
9783540362524
Format:
E-Book (pdf)
Hersteller:
Springer Berlin Heidelberg
Veröffentlichung:
15.11.2006
Digitaler Kopierschutz:
Wasserzeichen
Dateigrösse:
8.27 MB
Anzahl Seiten:
134

Weitere Bände aus der Buchreihe "Lecture Notes in Mathematics"

Band 120
E-Book (pdf) Decidable Theories von Dirk Siefkes
  • Decidable Theories
  • Dirk Siefkes
Sie sind hier.

Mehr entdecken: E-Books Englisch

Belletristik & Unterhaltung, Diverses, Geisteswissenschaften, Kunst, Musik, IT & Internet, Naturwissenschaften, Medizin, Informatik, Technik, Ratgeber, Reise, Sachbuch, Schule und Lernen, Sozialwissenschaften, Recht, Wirtschaft