GENERIC INFERENCE A UNIFYING THEORY FOR AUTOMATED REASONING
MARC POULY AND JURG KOHLAS2011 年出版452 页ISBN：0470527016
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
A Unifying Framework for Structured Analysis and Design Models:An Approach using Initial Algebra Sem
1991 年出版179 页ISBN：0521392962
Practical Bayesian Inference: A Primer for Physical Scientists
Coryn A.L.Bailer-Jones2017 年出版296 页ISBN：1316642214
Handbook of automated reasoning; volume II
editors Alan Robinson and Andrei Voronkov2001 年出版2122 页ISBN：0444508120
Handbook of automated reasoning; volume I
editors Alan Robinson and Andrei Voronkov2001 年出版970 页ISBN：0444829490
THE REPUTATIONAL PREMIUM A THEORY OF PARTY IDENTIFICATION AND POLICY REASONING
PAUL M.SNIDERMAN AND EDWARD H.STIGLITZ2012 年出版146 页ISBN：0691154171
PROBABILISTICS REASONING IN INTELLIGT SYSTEMS: NETWORKS OF PLAUSIBLE INFERENCE
1988 年出版552 页ISBN：0934613737
