Shang-Ching Chou

Country : États-Unis
Language : anglais
Note :
Informaticien. - Chercheur à l'Institute for computing science, University of Texas at Austin, Tex., USA (en 1988)
ISNI : ISNI 0000 0001 0868 9584

Activities of Shang-Ching Chou (2 resources in data.bnf.fr)

Mixed works (2)

Machine proofs in geometry
Mechanical geometry theorem proving

See also