逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次，用逻辑定理的机器证明工具

本书基于作者对多种常见典型微生物被膜形成的研究，对微生物被膜的定义与形成、表型、基因组学、相关基因的检测、耐药性、形成的影响条件、形成过程的调控机制、成熟与分散脱落的分子调控，以及抑制清除与安全控制等进行详细阐述，以期为读者了解和研究微生物被膜作出详尽、全面的介绍和分析。

本书是国内第一部关于养老服务体制转型与资源整合的研究成果。第一，从养老服务需求侧的转变与供给侧的特征分析出发，首次提出长期护理保险制度试点是传统养老服务体制改革开端的观点，并剖析了长期护理保险试点政策碎片化现象；第二，特别从筹资渠道和服务供给两大方面论证了长期护理保险制度资源整合的可行路径；第三，创新性研判了从传统养老

本书共分为六个部分：第一部分绪论，阐释认同和信任在新时代中的研究意义与价值，并对认同及信任的研究进展综合论述。第一章，群体认同与信任的概念及理论梳理。借鉴自我认同理论、社会认同理论等，对群体认同的内涵、结构展开详细阐述，同时对信任的含义、类别、影响因素深入探索。第二章，认同影响信任的一般机理，具体包括认同和信任的一致性

本书对重大工程创新生态系统开展系统深入的研究，分为上下两篇：上篇聚焦于重大工程创新机理与范式，在系统梳理工程创新及创新生态系统等领域文献的基础上，探究重大工程创新的复杂性，分析重大工程创新孤岛的形成机理和阻制，提出重大工程全景式创新范式及其治理逻辑；下篇基于生态系统视角，提出重大工程创新生态系统的理论构念和典型特征，从

知识经济时代，技术既是推动生产力发展和人类社会进步的决定性因素，也是国家、产业和企业竞争的核心要素，决定着一个国家/地区的综合竞争力。如何及时、准确地识别技术威胁，动态、实时地监测技术威胁因素，并对其引发的潜在危害进行有效防范亟待研究。本书从理论和方法层面对高新技术企业技术威胁预警进行研究，结合大量专利威胁案例，构建案

本书通过洞察当前企业所处的竞争态势，来选择适宜的竞争战略，在所选战略的基础上科学分析企业成本状况，从而帮助企业进行成本控制和管理，实现企业经营的高质量发展。 本书另辟蹊径，从竞争战略选择的视角出发，在把握企业战略理论内涵的基础上，针对传统制造企业、高端制造企业、传统商贸流通企业、电子商务商贸流通企业、高新技术企业和“互

本书主要分析了由前景理论刻画的投资者行为特征对投资者投资组合决策的影响。第1章讨论了一般的多期行为投资组合模型，在标准投资组合模型中引入了前景理论中经典的S型价值函数。第2章分析了前景理论中损失厌恶和参考点动态调整这两个行为特征在资产配置中的综合效应。第3章考虑了在包含概率扭曲行为特征时社会互动和社会学习对投资者投资决

本书结合现场及文献调研结果，以合成材料生产子行业为对象，按照“源头减量—过程资源化减排—末端处理”的水污染全过程控制的技术理念，对水污染控制技术进行系统梳理总结，主要介绍废水污染全过程控制的内涵与实施驱动力、合成材料生产废水特征与污染控制需求、污染全过程控制技术总体情况以及典型合成材料生产装置废水污染全过程控制的技术研

上转换发光材料是一类稀土元素构成的、具有特殊发光性质的物质，在先进制造领域有着广泛的应用，它在生物领域的应用也受到越来越多的关注。本书从上转换发光材料的性质与发光原理，上转换发光颗粒的合成与制备，以及上转换发光材料在生物检测、生物传感器等领域的应用和产业化方面进行了详细讨论，介绍了上转换发光快速检测技术的发展与产业化经