宋英杰，刘亚清，张斌，辛晓2017 年出版158 页ISBN：9787115469076
（1）提出一种基于Alloy的本体一致性非标准推理方法。（2）提出一种改进的基于SAT的本体一致性非标准推理方法。（3）提出开放环境下本体演化变更序列的冲突检测算法。（4）提出开放环境下本体演化变更序列语义冲突诊断算.....
刘长江主编；邱建昌，李昌权，顾剑锋等副主编2010 年出版195 页ISBN：9787563924790
本书不仅对“数控加工仿真系统”的基本概念和基本操作方法的讲述浅显易懂，深入浅出，而且安排了大量短小精悍、典型实用的例题，使学习者能够结合实例进行学习，掌握数控机床的操作方法和技巧。书中对华中数控系统...
（韩）权甲龙著；岳亮译2012 年出版253 页ISBN：9787805508771
书稿由韩国著名围棋道场权甲龙道场撰编。职业四段岳亮翻译。内容为权甲龙道场内部创作的高级死活题，难度非常大，围棋高级业余水平和职业棋手适用。...
