Valentin Goranko, “Temporal Logics”, Cambridge University Press, Cambridge, 2023, pp. 75
Abstract In questa Lettura Critica viene analizzato Temporal Logics, di…
modelli temporali
Leggi tutto Valentin Goranko, “Temporal Logics”, Cambridge University Press, Cambridge, 2023, pp. 75