S-C Chou

Visar alla böcker från författaren S-C Chou. Handla med fri frakt och snabb leverans.

1. 

   MACHINE PROOFS IN GEOMETRY: AUTOMATED PRODUCTION OF READABLE PROOFS FOR GEOMETRY THEOREMS

   1994

   • Inbunden 2675 kr