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 BEDFORD GUIDE FOR COLLEGE WRITERS WITH READINGS AND HANDBOOK SECOND EDITION
X.J.KINNEDY AND DOROTHY M.KINNEDY2222 年出版819 页ISBN:
STUDENT ASSESSMENT AND LEARNING GUIDE FOR USE WITH UNDERSTANDING BUSINESS SEVENTH EDITION
WILLIAM G.NICKELS AND JAMES M.MCHUG2005 年出版707 页ISBN:
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