I. Mackie

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

1. 

   Proof Theory and Automated Deduction

   2001

   • Häftad 554 kr
2. 

   THEORY AND FORMAL METHODS OF COMPUTING 94: PROCEEDINGS OF THE SECOND IMPERIAL COLLEGE WORKSHOP

   1995

   • Inbunden 2648 kr