当代语言学理论丛书 形式语义学引论

当代形式逻辑及其在人工智能中的应用理论研究

半个世纪来获得迅速发展的外延电子数字计算机最根本的特征，决定了其不可能具有从已知得出新知这种作为人类智能基本机制的功能。未来的真正的人工智能的基础装置的核心元件是从根本上区别于与、或、非门，输入...

创作与形式 当代中国建筑评论

本书作者以高度的社会责任感对建筑界的创作进行了全面的评价。内容涉及建筑发展方向、建筑创作方法、建筑健康发展等重大问题。

壁画艺术与公共环境 当代壁画艺术形式与技法研究

本书为2004年财经创新与管理国际学术会议用论文集，主要包括产品创新和技术创新、中部区域经济发展与产业创新、组织创新和制度创新、财务管理与金融创新等。...

形式概念分析理论与应用

空间的文化形式与社会理论读本

中国煤矿安全规制 理论与实证研究

本书以产业组织与规制理论为基础，综合使用委托-代理理论、新制度经济学、计量经济学等分析方法，以中国煤矿安全规制体制变迁为基本立足点，从产权、矿工素质、矿工逆向行为等角度对影响安全规制的相关因素进行...

互联网规制理论与实践

本书是在参考国内外有关互联网规制最新理论和实践成果的基础上，经作者深入研究编著而成。书中应用微观规制理论对国际互联网规制以及国内互联网规制的模式及实践进行了初步的分析，对新电信环境下如何建立适应...

形式语言与自动机理论

普通高等教育“十一五”计算机类规划教材:本书主要介绍乔姆斯基文法体系的四类文法以及它们与有限自动机、下推自动机、线性界限自动机和图灵机之间的关系。...

形式语言与自动机理论教学参考书

本书是《形式语言与自动机理论》教学辅导用书。