当前位置：首页 > 名称
大约有400项符合查询结果项。（搜索耗时：0.0091秒）
为您推荐： 基于代数推理的课堂教学研究 单向度的人 包含 推理导论 图形推理 推理
-
面向计算机科学的数理逻辑系统建模与推理 英文版·第2版 【工业技术】
（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著2005 年出版427 页ISBN：7111160533本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。
-
英美法中的形式与实质 法律推理、法律理论和法律制度的比较研究 【政治法律】
P. S. 阿蒂亚（P. S. Atiyah），R. S. 萨默斯（Robert S. Summers）著；金敏，陈林林，王笑红译2005 年出版380 页ISBN：7562028648本书通过对法律推理、法律理论和法律制度的比较研究，论述了英美法的形式与实质。
-
古希腊罗马时期不确定的性别 假两性畸形人与两性畸形人 【社会科学】
（法）吕克·布里松（Luc Brisson）著；侯雪梅译2005 年出版178 页ISBN：7563358013清末民初是一个风云突变的时代，民主和独裁，统一与割据，进步与落后，革命与反革命错综复杂。谭延闿的一生，由一个封建文人到地方军阀，由君主立宪派到国民党元老，忽左忽右，忽汪忽蒋，八面逢迎，四处讨好，以维系......
-
推理的迷宫 悖论、谜题，及知识的脆弱性 【哲学宗教】
（美）威廉姆·庞德斯通（William Poundstone）著；李大强译2005 年出版331 页ISBN：7564004592本书搜集了经典的思想实验和哲学沉思，这些问题触及逻辑推理和语言的终级界限， 作者对于这些问题的深入思考，这些思考涉及涉及密码学、决策论、亚原子物理和计算机编程等领域，让你不光在这段思考的旅行中得到大...
-
计算机自动推理与智能教学 【文化科学教育体育】
王岚，乐毓俊编著2005 年出版311 页ISBN：7563509216本书主要介绍计算机自动推理的理论基础数理逻辑及以此理论为基础的人工智能语言PROLOG语言，并在此基础上介绍了计算机自动推理理论在教育中应用（即智能教学ICAI）的基本原理、结构及其方法。它是作者多年在教学...
-
艾可博士的36道推理谜题 36 puzzles for hackers and other mathematical detectives 【文化科学教育体育】
（美）丹尼斯·夏沙（Dennis E. Shasha）著；周立彪译2005 年出版273 页ISBN：7535744214本书由36个小故事组成，内容从几何学到密码学，分为八大数学主题。书中主人翁艾可博士是一个虚拟的伟大侦探，在一件件精彩的案件中，他要运用逻辑推理、电脑知识、数学等等来破解谜题。这段惊险的揭密之旅，将以前所...
-
-
-
-
