Limit this search to....

  (4 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Artificial Intelligence Techniques: A Comprehensive Catalogue Rev. Edition Bundy, AlanPaperback3540593233 /
9783540593232		12/1996$52.24
Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings 1994 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific)Bundy, AlanPaperback3540581561 /
9783540581567		06/1994$52.24
Catalogue of Artificial Intelligence Techniques Softcover Repri Edition Smaill, AlanPaperback3642972780 /
9783642972782		02/2012$104.49
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science (Hardcover))Bundy, AlanHardcover052183449X /
9780521834490		08/2005$133.00
  (4 items found)