Mechanical Testing Methodology for Ceramic Design and Reliability
1998 年出版434 页ISBN:0824795679
Mathematics Mechanization: Mechanical Geometry Theorem-Proving
Mechanical Geometry Problem-Solving and Polynomial Equations-Solving2000 年出版420 页ISBN:7030066863