宋春阳著2005 年出版227 页ISBN：7806689079
本书是面向中文信息处理的现代汉语名词研究。以内涵逻辑理论为指导，吸取训诂学精华，提取词的抽象类义来把握名词的语义结构，使得汉语语义分析和解释形式化。...
计算机科学与技术学科前沿丛书 面向主体软件工程 模型、方法学与语言
毛新军编著2015 年出版408 页ISBN：9787302403418
本书以主体理论和技术的具体研究成果为基础，结合作者近年来在该领域的科学研究和工程实践，系统介绍面向主体软件工程的基本概念和思想、软件体系结构、建模语言、分析和设计方法、程序设计及其语言、CASE工具...
国外计算机科学经典教材 UML 2.2面向对象分析与设计 第4版
班尼特（SimonBennett）著；麦克罗布（SteveMcRobb）著；法默（RayFarmer）著；李杨译2013 年出版548 页ISBN：9787302304241
全书共分4大部分：第1部分介绍面向对象分析与设计的背景知识；第2部分关注的是需求收集、系统分析以及UML的基础知识，并对面向对象的一些高级概念进行了拓展；第3部分关注点在于系统设计，介绍了各种设计模型及系统...
鞠实儿等著2009 年出版383 页ISBN：9787505876002
本书以知识表示与推理为应用牵引，以非经典逻辑（包括哲学逻辑和语言逻辑）为理论驱动，针对自然语言的内涵性、模糊性、交互性、形态性和多样性，分别构造了若干自然语言逻辑系统，包括：语境内涵逻辑、模糊量词逻辑......
许焕敏编2011 年出版139 页ISBN：9787564051679
本书以制造资源为其物质环境基础，以工艺知识为其理论与知识基础，围绕工艺推理与决策逻辑展开研究，是近年来作者在工艺设计决策问题研究工作的系统化总结。本书主要内容包括：基于知识的工艺决策逻辑方案；面向工艺...
