GEOMETRIC METHODS IN THE ALGEBRAIC THEORY OF QUADRATIC FORMS
2004 年出版194 页ISBN:9783540207283;3540207287
Handbook of automated reasoning; volume II
editors Alan Robinson and Andrei Voronkov2001 年出版2122 页ISBN:0444508120
E.B.Noel J.O.M.Clark2222 年出版580 页ISBN:9781578986651
ADVANCED TECHNOLOGY OF PLASTICITY 1987 VOLUME II
K.LANGE1987 年出版674 页ISBN:3540179151
Geometrical Methods in the Theory of Ordinary Differential Equations
V.I.Arnold1983 年出版334 页ISBN:0387906819