Detalls del llibre
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.
Llegir més - Autor/a Valentin (Stockholms Universitet) Goranko
- ISBN13 9781009170109
- ISBN10 1009170104
- Pàgines 112
- Any Edició 2023
- Fecha de publicación 05/10/2023
- Idioma Alemany, Francès
Ressenyes i valoracions
Temporal Logics (Alemany, Francès)
- De
- Valentin (Stockholms Universitet) Goranko
- |
- Cambridge University Press (2023)
- 9781009170109



