ELEMENTS OF CALCULUS WITH CONTEMPORARY APPLICATIONS
1976 年出版484 页ISBN:0155220632
Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of
2005 年出版565 页ISBN:3540250514
Elements of Plasticity Theory and Computation
Ioannis Doltsinis2000 年出版313 页ISBN: