Shang Ching Chou books & textbook
[(Mechanical Geometry Theorem Proving * * )] [Author: Shang-Ching Chou] [Feb-1988]
Kluwer Academic Publishers / Unknown Binding
MACHINE PROOFS IN GEOMETRY: AUTOMATED PRODUCTION OF READABLE PROOFS FOR GEOMETRY THEOREMS (Series on Applied Mathematics, 6)
Chou, Shang-Ching Gao, Xian-Shan Zhang, Jing-Zhong
World Scientific Pub Co Inc /1994-04-01 Hardcover / 480 Pages
isbn-10: 9810215843 / isbn-13: 9789810215842
Hygrothermoelasticity
Sih, George C. Michopoulos, J. Shang-Ching Chou
Springer /2011-09-26 Paperback / 272 Pages
isbn-10: 9401084661 / isbn-13: 9789401084666
Mechanical Geometry Theorem Proving (Mathematics and Its Applications, 41)
Springer /1987-12-31 Hardcover / 374 Pages
isbn-10: 9027726507 / isbn-13: 9789027726506
