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
COMPATIBILITY OF PHARMACEUTICAL PRODUCTS AND CONTACT MATERIALS:SAFETY CONSIDERATIONS ASSOCIATED WITH
DENNIS JENKE2009 年出版379 页ISBN：0470281765
APPLICATIONS OF ION-SELECTIVE MEMBRANE ELECTRODES IN ORGANIC ANALYSIS
GEORGE E.BAIULESCU VASILE V.COSOFRET2222 年出版235 页ISBN：
THE MEASUREMENT OF TIME-VARYING PHENOMENA FUNDAMENTALS AND APPLICATIONS
EDWARD B.MAGRAB DONALD S.BLOMQUIST2222 年出版347 页ISBN：
INTERNATIONAL LAW A RESTATEMENT OF PRINCIPLES IN CONFORMITY WITH ACTUAL PRACTICE
ELLERY C. STOWELL1931 年出版829 页ISBN：
AN INTRODUCTION TO DIFFERENTIAL GEOMETRY WITH USE OF THE TENSOR CALCULUS
LUTHER PFAHLER EISENHART1947 年出版304 页ISBN：
CURRENT CONCEPTS OF DIABETES MELLITUS WITH SPECIAL REFERENCE TO OCULAR CHANGES
L.BENJAMIN SHEPPARD1955 年出版91 页ISBN：
STABLE RECURSIONS WITH APPLCIANTIONS TO THE NUMERICAL SOLUTION OF STIFF SYSTEMS
J.R.CASH1979 年出版223 页ISBN：
Analog Electronics with Op Amps A Source Book of Practical Circuits
A.J.PEYTON1993 年出版281 页ISBN：
