X-S Gao

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

1. 

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

   1994

   • Inbunden 2675 kr