Heuristic Reasoning about Uncertainty:An Artificial Intelligence Approach
Paul R.Cohen2222 年出版204 页ISBN:
WHAT'S SO GOOD ABOUT BIODIVERSITY? A CALL FOR BETTER REASONING ABOUT NATURE'S VALUE
DONALD S. MAIER2012 年出版568 页ISBN:9400739901
REASONING ABOUT FUZZY TEMPORAL AND SPATIAL INFORMATION FROM THE WEB
2011 年出版594 页ISBN:9789814307895
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN:
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...