电工技术手册 第1卷 第1篇 数学公式、数表、单位及物理常数 【工业技术】

语言概念空间的基本定理和数学物理表示式 【工业技术】

本书是关于概念层次网络理论的核心成果，在信息识别处理，以计算机理解自然语言方面是很受重视的一种理论。

起重机及基机构的基本计算资料与公式 【工业技术】

逻辑公式的可满足性判定 方法、工具及应用 【工业技术】

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

土体有效应力原理的通用公式与基坑支护及地基计算的实际水压力算法 【工业技术】

本书为土力学方面的专著，介绍土体有效应力原理的通用公式与基坑支护及地基计算的实际水压力算法。

机械设计手册 1 常用资料和数学公式 【工业技术】

土木工程计算图表 第1编 数学公式 【工业技术】

在线手写数学公式识别关键技术研究 【工业技术】

本书运用笔画与空间关系的字符编码及模糊理论对字符进行同步分割和识别，根据公式的结构特点提出了基于文本的共识查询。

材料力学及弹性学所用计算例题及公式 【工业技术】

机械工程公式及例题集 【工业技术】