合情推理与发现逻辑

面向计算机科学的数理逻辑系统建模与推理 英文版·第2版

本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。

基于格值逻辑的语义归结自动推理

基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向，能够对含有不可比较性信息进行有效地刻画； 而基于语言值的智能信息处理理论与方法，也是目前较为活跃的一个研究领域。本书在已有的基于经典逻辑...

人工智能产品经理 人机对话系统设计逻辑探究

本书是关于人工智能产品经理的技术学习图书，一方面讲解机器学习、深度学习、自然语言处理等人工智能产品经理必备的技术知识，另一方面介绍AI技术在人机对话和智能搜索方向的应用，同时以国内外主流对话平台为例...

从算法设计到硬线逻辑的实现 实验练习与Verilog语法手册

高等学校教材:本书共分两部分，主要介绍了用Verilog语言设计数字电路系统的实用方法与技术。

石墨炔 从发现到应用

信息建模与关系数据库 从概念分析到逻辑设计

本书主要讲解了对象角色建模及其相关的技术知识。书中从ORM角度介绍了实体联系建模（ER）和统一建模语言（UML）。书中还清晰地涵盖了关系数据库理论和SQL的最新进展情况，并阐述了所需的数学和集合理论的概念。事实...

摩天大楼建筑之谜 从台北101发现建筑科技的奥袐

无限的原子能 从放射元素的发现到原子能的利用

从风车到氢燃料电池 发现替代能源

本丛书解释了科学领域历次重大进步的发展过程。丛书中每一分册讲述了科学上的每一次发现或每一项发明是怎样引发出一连串的技术突破，从而改变了我们的生活。本书将令人惊叹的替代能源一一呈现在我们眼前：生物...