现代逻辑学讲义 模态逻辑 【哲学宗教】

本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...

广义模态逻辑及其应用 【语言文字】

广义模态逻辑是逻辑学里一个新的分支，也是一个比较前沿学科，在国外有较多的研究，并在计算机和语言学等领域得到了比较广泛的应用。本书属国家社科基金“广义模态逻辑与新型计算语言研究”项目，是由逻辑学、计算...

金属切削机床 【工业技术】

本书介绍了机床的基本知识、车床、铣床等。

数控机床电气控制 【其他书籍】

新编机床数控技术 【工业技术】

金属切削机床 【工业技术】

数控机床编程技术 【工业技术】

本书阐述了数控机床的编程技术。

机床夹具设计 【工业技术】

本书为高等学校教材。包括：机床夹具概述；工件在夹具中的定位；工作在夹具中的夹紧；夹具有机体中的定位等内容。

数控机床 【工业技术】

本书是为配合《大学文科计算机基础教程》而编写的上机实验，适用于大学文科各专业进行计算机基础教学时使用。

数控机床维修 【工业技术】

本书依据FANUC系统参考资料和培训教材，结合具体的数控机床维修资料，详细叙述维修机床的方法和步骤。