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