Matt Kaufmann – författare

Visar alla böcker från författaren Matt Kaufmann.

3 produkter

1. 

   Computer-Aided Reasoning

   ACL2 Case Studies

   Av Matt Kaufmann, Panagiotis Manolios m. fl.

   Inbunden, 2000

   2879 kr

   Lägg i varukorg

2. 

   Computer-Aided Reasoning

   ACL2 Case Studies

   Av Matt Kaufmann, Panagiotis Manolios m. fl.

   Häftad, 2010

   2879 kr

   Lägg i varukorg

3. 

   Interactive Theorem Proving

   First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

   Av Matt Kaufmann, Lawrence C. Paulson

   Häftad, 2010

   1449 kr

   Lägg i varukorg