GENERIC INFERENCE A UNIFYING THEORY FOR AUTOMATED REASONING
MARC POULY AND JURG KOHLAS2011 年出版452 页ISBN：0470527016
理解语言教学 教学中的推理 reasoning in action
Karen E. Johnson著；北京师范大学“认知神经科学与学习”国家重点实验室脑与第二语言学习研究中心译2006 年出版165 页ISBN：7303081682
An introduction to economic reasoning 4th rev. ed.
Marshall A. Robinson1967 年出版306 页ISBN：
ANTHONY ESPOSITO J.ROBERT THROWER2222 年出版480 页ISBN：0827340818
MACHINE TRADES BLUEPRINT READING
PUSSEL W.IHNE WALTER E. STREETER2222 年出版172 页ISBN：
PROBABILISTICS REASONING IN INTELLIGT SYSTEMS: NETWORKS OF PLAUSIBLE INFERENCE
1988 年出版552 页ISBN：0934613737
Fundamentals of machine vision
Alejandro Nieto ; David López Vilarino2015 年出版270 页ISBN：1781639320
Automated database applications testing : specification representation for automated reasoning
Rana FaridMikhail2010 年出版195 页ISBN：9812837288
