The automation of reasoning : an experimenter's notebook with OTTER tutorial
Larry Wos1996 年出版434 页ISBN：0127634207
Designs of the world pattern sourcebook with free DVD-Rom
British Museum2011 年出版240 页ISBN：0714150888
Quantum dynamics for classical systems with applications of the number operator
Fabio Bagarello2013 年出版228 页ISBN：1118370681
AN INTRODUCTION TO DIFFERENTIAL GEOMETRY WITH USE OF THE TENSOR CALCULUS
LUTHER PFAHLER EISENHART1947 年出版304 页ISBN：
STABLE RECURSIONS WITH APPLCIANTIONS TO THE NUMERICAL SOLUTION OF STIFF SYSTEMS
J.R.CASH1979 年出版223 页ISBN：
EXPERIMENTS WITH MIXTURES：DESIGNS，MODELS，AND THE ANALYSIS OF MIXTURE DATA
JOHN A.CORNELL2222 年出版305 页ISBN：
THE TREATMENT OF CANCER WITH SPECIAL REFERENCE TO RADIOTHERAPY AND CHEMOTHERAPY
J.S.MITCHELL1965 年出版315 页ISBN：
FOUNDATIONS OF MATHEMATICS WITH APPLICATION TO THE SOCIAL AND MANAGEMENT SCIENCES
GRACE A.BUSH1968 年出版466 页ISBN：
THE DYNAMICS OF FAULTING AND DYKE FORMATION WITH APPLICATIONS TO BRITAIN
E.M.ANDERSON1951 年出版206 页ISBN：
