Valentin Goranko

ספרים שבהם Valentin Goranko מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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