Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of
2005 年出版565 页ISBN：3540250514
CRITICAL THINKING AND COMMUNICATION:THE USE OF REASON IN ARGUMENT FOURTH EDITION
EDWARD S.INCH AND BARBARA WARNICK2002 年出版374 页ISBN：
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
CHOICE THE SCIENCES OF REASON IN THE 21ST CENTURY A CRITICAL ASSESSMENT
RICHARD HARPER2016 年出版270 页ISBN：0745683867
LOGIC AND CONTEMPORARY RHETORIC THE USE OF REASON IN EVERYDAY LIFE TENTH EDITION
2006 年出版393 页ISBN：0534626041
Lecture Notes in Artificial Intelligence 3662 Lofic Programming and Nonmontonic Reasoning 8th Intern
LPNMR 20052005 年出版454 页ISBN：3540285385
