S-C Chou – författare

Visar alla böcker från författaren S-C Chou.

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