HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
PROGRESS IN BRAIN RESEARCH VOLUME 20 PHARMACOLOGY AND PHYSIOLOGY OF THE RETICULAR FORMATION
A.V.VALDMAN1967 年出版339 页ISBN：
GEOMETRIC MEASURE THEORY AND THE CALCULUS OF VARIATIONS VOLUME 44 PROCEEDINGS OF SYMPOSIA IN PURE MA
1986 年出版464 页ISBN：0821814702
INTERNATIONAL CIVIL LITIGATION IN UNITED STATES COURTS
GARY B.BORN PETER B.RUTLEDGE2011 年出版188 页ISBN：1454808091
LAWYERS IN SOCIETY THE CIVIL LAW WORLD
RICHARDL. ABEL AND PHILIPS.C.LEWIS1988 年出版459 页ISBN：0520062639
Principles of Naval Architecture Second Revision Volume Ⅲ Motions in Waves and Controllab
Edward V.Lewis1989 年出版429 页ISBN：0939773023
PROGRESS IN MOLECULAR BIOLOGY AND TRANSLATIONAL SCIENCE MOLECULAR BIOLOGY OF AGING VOLUME 146
P.HEMACHANDRA REDDY2017 年出版372 页ISBN：0128115329
