COMMONSENSE REASONING AN EVENT AND CALCULUS BASED APROACH
ERIK T.MUELLER2015 年出版482 页ISBN：0128014165
MEDIA ETHIC:CASES AND MORAL REASONING SIXTH EDITION
CLIFFORD G.CHRISTIANS AND OTHERS2001 年出版333 页ISBN：
GENERIC INFERENCE A UNIFYING THEORY FOR AUTOMATED REASONING
MARC POULY AND JURG KOHLAS2011 年出版452 页ISBN：0470527016
An introduction to economic reasoning 4th rev. ed.
Marshall A. Robinson1967 年出版306 页ISBN：
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
Automated database applications testing : specification representation for automated reasoning
Rana FaridMikhail2010 年出版195 页ISBN：9812837288
