Inhalt
Decidability and completeness of SC.- Benefits of the decision procedure.
Titel
Decidable Theories
Untertitel
Vol. 1: Bchi`s Monadic Second Order Successor Arithmetic
Autor
Editor
EAN
9783540362524
Format
E-Book (pdf)
Hersteller
Genre
Veröffentlichung
15.11.2006
Digitaler Kopierschutz
Wasserzeichen
Dateigrösse
8.27 MB
Anzahl Seiten
134
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.