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