Detalles del libro
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.
Leer más - Autor/a Valentin (Stockholms Universitet) Goranko
- ISBN13 9781009170109
- ISBN10 1009170104
- Páginas 112
- Año de Edición 2023
- Fecha de publicación 05/10/2023
- Idioma Alemán, Francés
Reseñas y valoraciones
Temporal Logics (Alemán, Francés)
- De
- Valentin (Stockholms Universitet) Goranko
- |
- Cambridge University Press (2023)
- 9781009170109



