通晓化学反应 确定生成物的方法

语义理解的津梁：汉语语法结构分析

黄河中下游父系氏族源流探析

Altera可编程逻辑器件的应用与设计

本书系统地介绍了ALTERA公司的CPLD和FPGA产品。

规范、逻辑与法律论证

本书研究规范理论与逻辑理论在法律论证中的运用及其限度。它主要包括这样一些问题：规范是不是逻辑规训的对象？假如是的话，是否存在独特的规范逻辑（法律逻辑）？如果存在的话，那么规范逻辑包括哪些类型？从这些不......

计算理论与符号逻辑

本书主要介绍、阐释了现代社会常见、实用的公务文书、事务文书、经济文书、法律文书、学术文书、书信文书、礼仪民俗文书、申论等各文体的概念特点、分类情况、使用范围、篇章结构及写作方法、写作要求，并精...

中世纪逻辑 语言与意义理论

本书对中世纪主要逻辑问题、哲学问题、神学问题进行了细致的技术分析并使其紧密地结合起来，探索了它们对现代逻辑的影响，为相关逻辑问题在未来的研究模式提供了借鉴。...

图像信息资源可视化协同语义标注

语义复合中的内部特征同位

汉语动趋式的认知语义研究

逻辑学及其应用研究 第四届全国逻辑系统、智能科学与信息科学学术会议论文集

本书是2008年在贵阳召开的第四届全国逻辑系统、智能科学与信息科学学术会议论文集。内容涉及形式逻辑、数理逻辑、法律逻辑、逻辑思维、自然语言理解、机器人涉及、安全协议形式化分析、密码学及其应用等诸...