Limit this search to....

  (3 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC
Pub
Date
Price
Advances in Modal Logic Volume 11Beklemishev, LevPaperback1848902018 /
9781848902015
06/2016$25.65
Automated Reasoning: 7th International Joint Conference, Ijcar 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-2 2014 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific)Demri, StéphanePaperback3319085867 /
9783319085869
08/2014$52.24
Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in Theoretical Computer Science (Hardcover))Demri, StéphaneHardcover1107028361 /
9781107028364
12/2016$133.00
  (3 items found)