Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
Preface 1. Temporal reasoning and logics: introduction and a brief historical overview 2. The variety of models of time 3. Prior's basic systems of temporal logic 4. Temporal logics for linear time 5. Reasoning about non-determinism: models and logics for branching time 6. The Peircean branching time logic PBTL 7. The Ockhamist branching time logic OBTL 8. First-order temporal logics 9. Variations, extensions, and applications of temporal logics References.
Preface 1. Temporal reasoning and logics: introduction and a brief historical overview 2. The variety of models of time 3. Prior's basic systems of temporal logic 4. Temporal logics for linear time 5. Reasoning about non-determinism: models and logics for branching time 6. The Peircean branching time logic PBTL 7. The Ockhamist branching time logic OBTL 8. First-order temporal logics 9. Variations, extensions, and applications of temporal logics References.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826