Valentin Goranko
Identifiers
- Open LibraryOL8054888A
Top Subjects
- Computer science (2)
- Computer science, mathematics (1)
- Logic, symbolic and mathematical (1)
- Logic (1)
- Reasoning (1)
Books by Valentin Goranko
Total count: 5
-
Logic and Discrete MathematicsA Concise IntroductionWiley & Sons, Incorporated, John2015-01-01
-
Temporal Logics in Computer Science - Classical TheoryCambridge University Press2016-01-01
-
Temporal Logics in Computer ScienceFinite-State SystemsCambridge University Press2016-01-01
-
Logic As a ToolA Concise Guide to Logical ReasoningWiley & Sons, Incorporated, John2016-01-01
-
Temporal LogicsCambridge University Press2023-01-01