Decidable Theories : Buchi`s Monadic Second Order Successor Arithmetic
Siefkes, Dirk; Muller, Gert H. (EDT)
ISBN 10: 3540049096 ISBN 13: 9783540049098
Editore: Springer, 1970
Usato
Brossura
Da
GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 6 aprile 2009
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Unread book in perfect condition. Codice articolo 5907349
Riassunto:
Book by Siefkes Dirk
Contenuti: Decidability and completeness of SC.- Benefits of the decision procedure.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Decidable Theories : Buchi`s Monadic Second ...
Casa editrice: Springer
Data di pubblicazione: 1970
Legatura: Brossura
Condizione: As New