Limit this search to....

  (3 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Interactive Theorem Proving: First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings 2010 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci)Kaufmann, MattPaperback3642140513 /
9783642140518		06/2010$104.49
Isabelle/Hol: A Proof Assistant for Higher-Order Logic 2002 Edition (Lecture Notes in Computer Science)Nipkow, TobiasPaperback3540433767 /
9783540433767		04/2002$56.99
Logic and Computation: Interactive Proof with Cambridge Lcf Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback))Paulson, Lawrence C.Paperback0521395607 /
9780521395601		07/1990$61.74
  (3 items found)