Valentin Goranko · 5 obras en el catálogoObrasLogic and Discrete MathematicsLLogic As a ToolLogic As a ToolTTemporal Logics in Computer Science - Classical TheoryTemporal Logics in Computer Science - Classical TheoryTTemporal Logics in Computer ScienceTemporal Logics in Computer ScienceTTemporal LogicsTemporal Logics
TTemporal Logics in Computer Science - Classical TheoryTemporal Logics in Computer Science - Classical Theory