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
CRYSTALS AND THE POLARISING MICROSCOPE A HANDBOOK FOR CHEMISTS AND OTHERS
N.H. HARTSHORNE AND A. STUART1960 年出版557 页ISBN: