Main image
Click to view image in fullscreen
![]()
Temporal Logics
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.
234,00 DH
Sur commande
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.
| ISBN / EAN | 9781009170109 |
|---|---|
| Auteur | Goranko, Valentin (Stockholms Universitet) |
| Editeur | Cambridge University Press |