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
METHODS IN MOLECULAR BIOLOGY VOLUME 3 METHODS IN CYCLIC NUCLEOTIDE RESEARCH
MARK CHASIN2222 年出版315 页ISBN:0824760042
ROBUST TARGET LOCALIZATION AND SEGMENTATION:APPLICATION OF KERNEL-BASED STATISTICAL METHODS TO COMPU
OMAR ARIF2010 年出版98 页ISBN:9783843350389
COMPUTING METHODS IN REACTOR PHYSICS 58 COMPUTING METHODS IN APPLIED SCIENCES
R.GLOWINSKI AND J.L.LIONS1976 年出版594 页ISBN:
AGRICULTURAL IMPORT SURGES IN DEVELOPING COUNTRIES ANALYTICAL FRAMEWORK AND INSIGHTS FROM CASE STUDI
2011 年出版219 页ISBN:9789251067321
Methods and applications of linear models regression and the analysis of variance Third Edition
Ronald R. Hocking2013 年出版692 页ISBN:1118329504