Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Automated Deduction - Cade 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings 2019 Edition Fontaine, PascalPaperback3030294358 /
9783030294359		08/2019$85.49
Frontiers of Combining Systems: 9th International Symposium, Frocos 2013, Nancy, France, September 18-20, 2013, Proceedings 2013 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific)Fontaine, PascalPaperback3642408842 /
9783642408847		09/2013$52.24
  (2 items found)