Valentin Goranko
Valentin Goranko
2 books in the database
Books
Co-authored books and collections
Books that list Valentin Goranko among their authors but not as the lead author: co-written works, collections and compilations.
Logic and Discrete MathematicsWillem Conradie
Logic and Discrete Mathematics
Willem Conradie · 2015
Temporal Logics in Computer ScienceStéphane Demri
Temporal Logics in Computer Science
Stéphane Demri · 2016
Temporal Logics in Computer Science - Classical TheoryStéphane Demri
Temporal Logics in Computer Science - Classical Theory
Stéphane Demri · 2016