Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20052005 年出版343 页ISBN:3540289313
Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20072007 年出版245 页ISBN:9783540730989
2005年证券业从业资格考试辅导丛书编写组编2005 年出版208 页ISBN:750058430X
本书分上篇:学习及应试指导概述,下篇为各章学习与辅导。