X-S Gao – författare

Visar alla böcker från författaren X-S Gao.

1 produkter

1. 

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

   Av S-C Chou, X-S Gao m. fl.

   Inbunden, 1994

   3559 kr

   Tillfälligt slut