Chou, Shang-Ching, 1942-....
Chou, Shang-Ching
Shang-Ching Chou Ph.D. University of Texas at Austin 1985
VIAF ID: 9924990 ( Personal )
Permalink: http://viaf.org/viaf/9924990
Preferred Forms
-
- 200 _ | ‡a Chou ‡b Shang-Ching ‡f 1942-....
- 100 1 _ ‡a Chou, Shang-Ching
-
- 100 1 _ ‡a Chou, Shang-Ching
-
-
-
- 100 1 _ ‡a Chou, Shang-Ching, ‡d 1942-
-
-
- 100 1 _ ‡a Chou, Shang-Ching, ‡d 1942-....
- 100 0 _ ‡a Shang-Ching Chou ‡c Ph.D. University of Texas at Austin 1985
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Machine proofs in geometry automated production of readable proofs for geometry theorems | |
Mechanical geometry theorem proving |