缺省逻辑与回答集程序
《缺省逻辑与回答集程序》,作者:张明义,王以松 著 出版社:科学出版社 ISBN:9787030766472。本书主要介绍一阶子句集的消解原理和命题公式集的稳定模型、一般缺省理论（包括它的几个重要变种）的扩张计算特征与算法和复杂性、容易计算的特殊缺省理论类和缺省逻辑的语义、回答集程序及其拓广（嵌套查询）的基本概念与重要性质，以及架起回答集程序与经典逻辑之间关系桥梁的环公式和程序完备理论。
张明义
玻璃纤维增强聚合物抗浮锚杆承载性能研究
《玻璃纤维增强聚合物抗浮锚杆承载性能研究》,作者:白晓宇,张明义,刘俊伟 著 出版社:科学出版社 ISBN:9787030695024。本书系统阐述了玻璃纤维增强聚合物锚杆应用于地下结构抗浮工程中的承载性能和破坏机理。全书内容包括玻璃纤维增强聚合物抗浮锚杆与岩土体的承载性能、玻璃纤维增强聚合物抗浮锚杆与基础底板的锚固性能、长期荷载作用下玻璃纤维增强聚合物抗浮锚杆的蠕变性能，以及玻璃纤维增强聚合物抗
