Lecture Notes in Artificial Intelligence 4724 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20072007 年出版914 页ISBN：9783540752554
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
THE PRENTICE HALL GUIDE TO EVALUATING ONLINE RESOURCES WITH RESEARCH NAVIGATOR HISTORY 2004
MELISSA PAYTON2004 年出版83 页ISBN：
PRINCIPLES AND PROCEDURES OF STATISTICS:WITH SPECIAL REFERENCE TO THE BIOLOGICAL SCIENCES
ROBERT G.D.STEEL JAMES H.TORRIE2222 年出版481 页ISBN：
Corrosion Handbook Corrosive Agents and Their Interaction with Materials Volume 1 Sodium Hydroxide
Mixed Acids2004 年出版466 页ISBN：9783527311170
STRUCTURING DATA WITH TURBO PASCAL:A PRACTICAL INTRODUCTION TO ABSTRACT DATA TYPES
WILLIAM G.MCARTHUR AND J.WINSTON CRAWLEY2222 年出版738 页ISBN：0138530521
