Matt Kaufmann

Visar alla böcker från författaren Matt Kaufmann. Handla med fri frakt och snabb leverans.

1. 

   Computer-Aided Reasoning

   2000

   • Inbunden 2273 kr
   • Häftad 2273 kr
   • E-bok 3013 kr
2. 

   Computer-Aided Reasoning

   2012

   • E-bok 3686 kr
3. 

   Interactive Theorem Proving

   2010

   • Häftad 1144 kr
   • E-bok 1470 kr