智能推理及其在信念修正中的应用
《智能推理及其在信念修正中的应用》,作者:奕尚敏,王树 出版社:科学出版社 ISBN:9787030507624。智能推理是实现智能化的基础，它包括经典的单调推理和非单调推理。本书首先介绍了经典的单调推理中的命题推理系统和谓词推理系统，以及推理的公理化系统和自然推理系统:其次，介绍了单调推理系统下的自动推理算法和可满足性验证算法:然后介绍了非单调推理的主要理论和方法，包括非单调推理逻辑、自知逻辑、
王树
功能有机共轭分子体系的生物应用基础
《功能有机共轭分子体系的生物应用基础》,作者:王树,刘礼兵,吕凤婷 著 出版社:科学出版社 ISBN:9787030574480。功能有机共轭分子体系的生物应用研究涉及多学科高度交叉，为生物学和医学的研究提供了全新的思路。本书涵盖了功能有机共轭分子体系的生物应用机制、有机共轭分子体系的化学修饰与功能化方法，以及在生物传感、成像、疾病治疗方面的应用，比较完整地反映了当今功能有机共轭分子体系的发展及生
