HNC 概念层次网络 理论 计算机理解语言研究的新思路

自然语言理解是人工智能的一个重要分支，是几十年来未能攻克的世界性的重大科学难题。本书作者历经8年潜心研究创立的HNC（概念层次网络）理论，赢得了自然语言语句理解处理的新突破。HNC理论包括自然语言概念体系...

21世纪大学本科计算机专业系列教材 形式语言与自动机理论 第3版

本书结合作者30年在哈工大、北工大讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分10章，介绍基础知识，形式语言，文法，正则语言的文法、自动机、正则表达式描述和性质，上下文无关语言的文法.....

程序设计语言理论 第2版

本书以类型系统为中心来开展程序设计语言的研究，除了由浅入深地介绍各种类型系统外，还讨论相应程序设计语言的操作语义、公理语言和指称语义，以及这些语义之间的关系，是一本覆盖面较广的有关程序设计语言理论基...

计算理论基础 可计算性、复杂性和语言 英文版 第2版

本书是严格的、可读性很强的计算机科学理论中核心主题的介绍性教材，书中涵盖的主题包括可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性（包括NP完全问题）和编程语言的语义。本书分为5个部分分别讲述...

电子信息业最新缩略语 替代语 标识语英汉词典

本辞典收词共计31000余条，每个词条排为三段，第一段是英文大写的缩写词，第二段是缩写词所代表的英语原文，第三段是英语原文的汉语译文。...

河上语图解

现代工业用语辞典

婴语词典

本书主要讲述0～1岁婴儿生长发育规律，母乳喂养、人工喂养方法，辅食添加方法，日常护理方法，常见病的治疗和护理，智力启蒙和情商培养方法。...

化学工业技术英和20000语辞典

现代英汉电子技术缩语词典