Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2002. Copenhagen, Denmark, July 30 - August 1, 2002 2002 Edition (Lecture Notes in Computer Science)Egly, UwePaperback3540439293 /
9783540439295		07/2002$52.24
Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vie 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci)Sinz, CarstenPaperback3319092839 /
9783319092836		08/2014$52.24
  (2 items found)