Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings 1986 Edition (Lecture Notes in Computer Science)Siekmann, Jörg H.Paperback3540167803 /
9783540167808		07/1986$52.24
Computational Logic: Volume 9 (Handbook of the History of Logic)Gabbay, Dov M.Hardcover0444516247 /
9780444516244		11/2014$243.00
  (2 items found)