Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
The 43rd Annual IEEE Symposium on Foundations of Computer Science 2002
2002 年出版752 页ISBN：0769518222
PROCEEDINGS THE NINTH ANNUAL SYMPOSIUM ON COMPUTER APPLICATIONS IN MEDICAL CARE
1985 年出版913 页ISBN：0818606479
AMERICAN ACADEMY OF ORTHOPAEDIC SURGEONS SYMPOSIUM ON SPORTS MEDICINE THE KNEE
GERALD FINERMAN1985 年出版243 页ISBN：
PROCEEDINGS OF THE SYMPOSIUM ON FUNDAMENTAL ASPECTS OF HIGH TEMPERATURE CORROSION
The Electrchemical Society1997 年出版0 页ISBN：
PROCEEDINGS THE 34TH INTERNATIONAL WATER CONFERENCE 1973
W.H.WEITZEL W.M.PORTER2222 年出版212 页ISBN：
