J-Z Zhang

Visar alla böcker från författaren J-Z Zhang. Handla med fri frakt och snabb leverans.

1. 

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

   1994

   • Inbunden 2675 kr