逻辑的引擎 Engines of Logic

Name: 逻辑的引擎 Engines of Logic
Rating: 4.5 (60 reviews)
Author: 下载达人

上传者：下载达人 2019-05-31 21:31:27上传 DJVU文件 1.83MB 热度 60次

逻辑的引擎EnginesofLogic马丁・戴维斯(MartinDavis)

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

逻辑的引擎Engines of Logic

逻辑的引擎EnginesofLogic马丁・戴维斯(MartinDavis)

大小：0B | 2019-05-31 21:31:27
Engines of logic

agoodbookofintroductionofenginesoflogic

大小：0B | 2019-05-31 21:31:15
隐形引擎Invisible Engines

检查公司使用的业务动态和策略，这些业务和策略认识到软件平台革命释放的变革力量，这一革命将同时改变新旧...

大小：122B | 2020-07-24 09:58:12
逻辑形式逻辑formal logic

1984 人民出版社出版的书单pdf文件研究形式逻辑的同学可以看看

大小：3.28MB | 2020-08-06 08:30:08
描述逻辑Description Logic

THEDESCRIPTIONLOGICHANDBOOK:Theory,implementation,...

大小：0B | 2020-06-15 19:19:05
逻辑的引擎

讲述的是现代计算机背后的哪些基本概念和发展出这些概念的人

大小：0B | 2019-07-07 05:24:12
每个人的逻辑Logic For Everyone

涵盖了命题和谓词演算中的所有基本材料。应用包括通过紧性定理以及生成弱超字和超逻辑运算符获得的非标准...

大小：95B | 2020-08-12 17:56:20
逻辑的引擎讲述逻辑的东西

大小：0B | 2019-01-02 08:49:23
Bea_Engines反汇编引擎源代码

本包包含Bea_Engine第一版和最新版，也就是一个汇编语言版和一个C语言版，

大小：0B | 2020-05-15 00:24:51
智能搜索引擎intelligent search engines

intelligentsearchengines,IBMredbook系列

大小：0B | 2019-06-01 00:22:21
pitest extensible engines PIT的可扩展突变引擎源码

PIT的可扩展突变引擎变异测试是一种评估测试质量的技术。它会插入人为错误来创建原始代码的变体,然...

大小：47KB | 2021-04-07 13:03:00
数字逻辑digital_logic PPT

数字逻辑PPTdigital_logic

大小：0B | 2019-09-04 07:57:45
逻辑谜题Lateral_Logic_Puzzles

英文版Becomeamasterofthelaterallogicpuzzle.Thecluesto...

大小：0B | 2019-05-31 23:13:56
proof logic证明逻辑定理证明的逻辑框架开源

证明逻辑是基于组合逻辑和Lambda微积分的定理证明的功能和方程逻辑框架,其表达既是项又是证明两个项...

大小：90KB | 2021-05-11 12:14:14
struts1逻辑标签logic的使用

NULL 博文链接:https://bestlanli-gmail-com.iteye.com/bl...

大小：8KB | 2020-08-20 04:31:48
描述逻辑手册The Description logic handbook

描述逻辑手册，描述逻辑入门和精通经典，必须看

大小：0B | 2019-07-29 22:43:50