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
ANALYSIS，DESIGN AND EVALUATION OF MAN-MACHINE SYSTEMS 1989
2222 年出版179 页ISBN：0080357431
series on machine consciousness - vol.2 consciousness and robot sentience
penttiΟhaikonen2012 年出版240 页ISBN：9814407151
Lecture Notes in Artificial Intelligence 3662 Lofic Programming and Nonmontonic Reasoning 8th Intern
LPNMR 20052005 年出版454 页ISBN：3540285385
Lecture Notes in Aetificial Intelligence 4483 Logic Programming and Nonmonotonic Reasoning 9th Inter
LPNMR 20072007 年出版327 页ISBN：9783540721994
FROM AND SUBSTANCE IN ANGLO-AMERICAN LAW ACOMPARATIVE STUDY OF LEGAL REASONING
LEGAL THEORY1987 年出版437 页ISBN：
THE ART OF REASONING AN INTRODUCTION TO LOGIC AND CRITICLA THINKING FOURTH EDITION
DAVID KELLEY2014 年出版605 页ISBN：9780393930788
ELECTRICAL MACHINE DESIGN THE DESIGN AND SPECIFICATION OF DIRECT AND ALTERNATING CURRENT MACHINERY
MCGRAW-HILL BOOK COMPANY1926 年出版523 页ISBN：
