Temporal Logics
(Bog, Paperback / softback, Engelsk)
Forlag:
Cambridge University Press
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9781009170109
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. This Element aims at providing both a panoramic view and closer looks at temporal logics.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Cambridge University Press |
| Forfatter | Valentin (Stockholms Universitet) Goranko |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 05-10-2023 |
| Første udgivelsesår | 2023 |
| Serie | Elements in Philosophy and Logic |
| Illustrationer | Worked examples or Exercises |
| Originalsprog | United Kingdom |
| Sideantal | 112 |
| Indbinding | Paperback / softback |
| Forlag | Cambridge University Press |
| Sideoplysninger | 112 pages, Worked examples or Exercises |
| Mål | 152 x 229 x 9 |
| ISBN-13 / EAN-13 | 9781009170109 |