Lecture Notes in Artificial Intelligence 2143 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20012001 年出版818 页ISBN：3540424644
Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20072007 年出版245 页ISBN：9783540730989
Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20052005 年出版343 页ISBN：3540289313
Lecture Notes in Artificial Intelligence 3571 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20052005 年出版1028 页ISBN：3540273263
Lecture Notes in Computer Science 3062 Applications of Graph Transformations With Industrial Relevan
AGTIVE 20032004 年出版500 页ISBN：3540221204
PRINCIPLES AND PROCEDURES OF STATISTICS:WITH SPECIAL REFERENCE TO THE BIOLOGICAL SCIENCES
ROBERT G.D.STEEL JAMES H.TORRIE2222 年出版481 页ISBN：
UNIX系统V/386第4版 集成软件开发指南 Integrated software development guide
郑蕾等译校1992 年出版305 页ISBN：7505315722
HAZARDOUS GAS MONITORS A PRACTICAL GUIDE TO SELECTION OPERATION AND APPLICATIONS
JACK CHOU2222 年出版258 页ISBN：0071358765
FIELD GUIDE TO THE DETECTION AND CONTROL OF XEROPHTHALMIA SECOND EDITION
A.SOMMER1982 年出版58 页ISBN：9241541628
A FIELD GUIDE TO THE CARBONIFEROUS SEDIMENTS OF THE SHANNIN BASIN
WESTERN IRELAND2016 年出版375 页ISBN：1119257127
