扩展的三段论及自动推理

做一个自动自发的员工

本书属于员工培训类图书，从树立自动自发的工作态度，超越简单的雇佣关系，主动维护公司利益，找方法提高工作效率。

Z形式规约的自动求精研究

本书系统介绍了Z语言的程序设计技术。

中国国务院新闻办公室白皮书 中国的民族政策与各民族共同繁荣发展、中国的民族区域自治、中国的少数民族政 英文

本书为国务院新闻办公室发表的白皮书，介绍中国的民族政策与各民族共同繁荣发展以及民族区域自治、中国的少数民族政策及其实践的情况。

扩展的三段论及自动推理

本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。

打造家装企业自动赚钱的商业系统

本书研究了数百家家装企业由小到大、由弱到强的发展历程，并从家装企业的商业模式、营销手段入手，创造性地提出“企业产品论”。书稿以大量案例为基础。...

自动变有钱 给年轻人的9堂理财理

本是一部指导成功类图书。

精通Word 2007办公应用的15堂案例课

本书分l5堂案例课，以Word 2007版本为基础，兼顾Word其他版本，用案例教学的形式，全面讲解Word在行政、企业、商业、文秘等相关领域的典型应用。第一堂课讲解Word 2007新增功能与工作环境优化，后续14堂案例课通过企...

校长的思路 学校的出路 我在北京市十一学校的办学思想与实践

本书对北京市十一学校二十年的办学经验进行了全面而深入的总结，内容包括生成办学基本理念、确定办学完整思路、策划学校发展项目、实现国有民办制改革、深化办学体制改革、完善民主管理和效率管理、制定学校...

领域本体的半自动构建及检索研究

本丛书是在学位论文及社科基金研究报告基础上写成，主题是情报检索语言（或知识组织系统）在网络环境信息组织中的应用。包括了近10年来南京农大信息检索实验室的一批研究成果，诸如：知识组织系统（叙词表、分类表、.....