Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
PROBABILISTICS REASONING IN INTELLIGT SYSTEMS: NETWORKS OF PLAUSIBLE INFERENCE
1988 年出版552 页ISBN：0934613737
ARTIFICIAL INTELLIGENCE:Applications to Logical Reasoning and Historical Research
2222 年出版172 页ISBN：0853128561
Automated database applications testing : specification representation for automated reasoning
Rana FaridMikhail2010 年出版195 页ISBN：9812837288
Combinatorial Reasoning An Introduction to the Art of Counting
Duane Detemple ; Willia Webb2014 年出版470 页ISBN：1118652183
Lecture Notes in Artificial Intelligence 4387 Spatial Cognition V Reasoning
Action2007 年出版501 页ISBN：
Lecture Notes in Artificial Intelligence 3343 Spatial Cognition IV Reasoning
Action2005 年出版519 页ISBN：
GOOD REASONING MATTERS!:A CONSTRUCTIVE APPROACH TO CRITICAL THINKING
J.FREDERICK LITTLE LEO A.GROARKE CHRISTOPHER W.TINDALE1989 年出版378 页ISBN：0771053134
THE LOGICAL BASIS FOR COMPUTER PROGRAMMING VOLUME1 DEDUCTIVE REASONING
2222 年出版618 页ISBN：0201182602
REASONING ABOUT FUZZY TEMPORAL AND SPATIAL INFORMATION FROM THE WEB
2011 年出版594 页ISBN：9789814307895
