|
Searching ... |
0 % | |||
Temporal Logics in Computer Science(1st Edition) Finite-State Systems (Cambridge Tracts in Theoretical Computer Science) by Stéphane Demri, Valentin Goranko, Martin Lange Hardcover, 752 Pages, Published 2016 by Cambridge University Press ISBN-13: 978-1-107-02836-4, ISBN: 1-107-02836-1 |
Logic as a Tool(1st Edition) A Guide to Formal Logical Reasoning by Valentin Goranko Hardcover, 380 Pages, Published 2016 by Wiley ISBN-13: 978-1-118-88000-5, ISBN: 1-118-88000-5 |
Logic and Discrete Mathematics(1st Edition) A Concise Introduction by Willem Conradie, Valentin Goranko Paperback, 450 Pages, Published 2015 by Wiley ISBN-13: 978-1-118-75127-5, ISBN: 1-118-75127-2 |
Logic as a Tool A Guide to Formal Logical Reasoning by Valentin Goranko 384 Pages, Published 2016 by John Wiley & Sons ISBN-13: 978-1-118-88004-3, ISBN: 1-118-88004-8 |
Advances in Modal Logic Volume 8 by Lev Beklemishev, Valentin Goranko, Valentin Shehtman Paperback, 518 Pages, Published 2010 by College Publications ISBN-13: 978-1-84890-013-4, ISBN: 1-84890-013-9 |
Logic and Discrete Mathematics(1st Edition) A Concise Introduction, Solutions Manual (Wiley Desktop Editions) by Willem Conradie, Valentin Goranko, Claudette Robinson Paperback, 194 Pages, Published 2015 by Wiley ISBN-13: 978-1-118-76267-7, ISBN: 1-118-76267-3 |
Cambridge Tracts in Theoretical Computer Science Ser. Temporal Logics in Computer Science : Finite-State Systems by Martin Lange, Valentin Goranko, Stéphane Demri Published 2016 ISBN-13: 978-1-316-72856-7, ISBN: 1-316-72856-0 |
Logic As a Tool A Concise Guide to Logical Reasoning by Valentin Goranko 384 Pages, Published 2016 by John Wiley & Sons ISBN-13: 978-1-118-88005-0, ISBN: 1-118-88005-6 |
Logic and Discrete Mathematics A Concise Introduction by Valentin Goranko, Willem Conradie 470 Pages, Published 2015 by John Wiley & Sons ISBN-13: 978-1-118-76109-0, ISBN: 1-118-76109-X |
Logic and Discrete Mathematics A Concise Introduction, Solutions Manual by Willem Conradie, Valentin Goranko, Claudette Robinson 200 Pages, Published 2015 by John Wiley & Sons ISBN-13: 978-1-119-00010-5, ISBN: 1-119-00010-6 |
Logic and Discrete Mathematics A Concise Introduction, Solutions Manual by Willem Conradie, Valentin Goranko, Claudette Robinson 200 Pages, Published 2015 by John Wiley & Sons ISBN-13: 978-1-119-00011-2, ISBN: 1-119-00011-4 |
Logic and Discrete Mathematics A Concise Introduction by Willem Conradie, Valentin Goranko 456 Pages, Published 2015 by John Wiley & Sons ISBN-13: 978-1-119-00009-9, ISBN: 1-119-00009-2 |
Logic and Discrete Mathematics A Concise Introduction by Valentin Goranko, Willem Conradie Published 2014 ISBN-13: 978-1-118-76265-3, ISBN: 1-118-76265-7 |
14th International Symposium on Temporal Representation and Reasoning by Valentin Goranko 193 Pages, Published 2007 by Ieee ISBN-13: 978-0-7695-2836-6, ISBN: 0-7695-2836-8 |
Temporal Logics(New) (Elements in Philosophy and Logic) by Goranko, Valentin Paperback, 112 Pages, Published 2023 by Cambridge University Press ISBN-13: 978-1-00-917010-9, ISBN: 1-00-917010-4 |
Lectures on Logic and Computation ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes (Lecture Notes in Computer Science) by Nick Bezhanishvili, Valentin Goranko Paperback, 276 Pages, Published 2012 by Springer ISBN-13: 978-3-642-31484-1, ISBN: 3-642-31484-8 |
Lecture Notes in Computer Science Ser. Lectures on Logic and Computation : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes by Nick Bezhanishvili, Valentin Goranko 265 Pages, Published 2012 by Springer ISBN-13: 978-3-642-31485-8, ISBN: 3-642-31485-6 |
Interval temporal logics and duration calculi by Valentin Goranko, Angelo Monatnari 233 Pages, Published 2004 ISBN-13: 978-2-7462-0949-7, ISBN: 2-7462-0949-7 |
Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science) by Margaret Archibald, Vasco Brattka, Valentin F. Goranko, Benedikt Löwe Paperback, 139 Pages, Published 2009 by Springer ISBN-13: 978-3-642-03091-8, ISBN: 3-642-03091-2 |
Valentin Goranko