命题逻辑中的归结推理系统设计与实现用C++实现

相 关 资 源

• 命题逻辑中的归结推理系统设计与实现用C++实现免费下载

  资源简介：命题逻辑中的归结推理系统设计与实现用C++实现

  标签： 逻辑 系统设计

  上传时间： 2014-01-10

  上传用户：VRMMO

• 命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告免费下载

  资源简介：命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告

  标签： 逻辑 系统设计 人工智能 实习

  上传时间： 2015-10-30

  上传用户：love1314

• 利用闭散列方法中的线形探查建立散列表。用c实现的。免费下载

  资源简介：利用闭散列方法中的线形探查建立散列表。用c实现的。

  标签：

  上传时间： 2013-12-13

  上传用户：CHENKAI

• 预测编码中的全搜索编码方法 该算法用c实现 大家可以参考参考免费下载

  资源简介：预测编码中的全搜索编码方法 该算法用c实现 大家可以参考参考

  标签： 编码 全搜索 算法 家

  上传时间： 2016-07-24

  上传用户：ruan2570406

• 命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理免费下载

  资源简介：命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，...

  标签： 逻辑 定理

  上传时间： 2013-12-31

  上传用户：wxhwjf

• 本文介绍了在数字下变频(DDC) 中的抽取滤波器系统设计方法和具体实现方案。采用CIC 滤波器、HB 滤波器、FIR 滤波器三级级联的方式来降低采样率。通过实际验证,证明了设计的可行性免费下载

  资源简介：本文介绍了在数字下变频(DDC) 中的抽取滤波器系统设计方法和具体实现方案。采用CIC 滤波器、HB 滤波器、FIR 滤波器三级级联的方式来降低采样率。通过实际验证,证明了设计的可行性

  标签： 滤波器 DDC CIC FIR

  上传时间： 2013-12-25

  上传用户：小宝爱考拉

• 基于FLASH存储器的嵌入式文件系统的设计与实现.pdf；军用嵌入式系统中的Flash文件系统设计.pdf；嵌入式系统中的Flash文件系统.pdf免费下载

  资源简介：基于FLASH存储器的嵌入式文件系统的设计与实现.pdf；军用嵌入式系统中的Flash文件系统设计.pdf；嵌入式系统中的Flash文件系统.pdf

  标签： Flash FLASH 嵌入式系统

  上传时间： 2016-12-07

  上传用户：ljmwh2000

• 用SDT开发的基于44B0板的PDA Demo程序. 这是北航出版的《嵌入式系统设计与开发例程详解-基于ARM的应用》附带光盘上的程序。免费下载

  资源简介：用SDT开发的基于44B0板的PDA Demo程序. 这是北航出版的《嵌入式系统设计与开发例程详解-基于ARM的应用》附带光盘上的程序。

  标签： 44B0 Demo SDT PDA

  上传时间： 2015-04-08

  上传用户：zxc23456789

• 基于ASP_NET技术的管理信息系统设计与实现论文免费下载

  资源简介：基于ASP_NET技术的管理信息系统设计与实现论文，sql2000+asp.net,B/S结构。

  标签： ASP_NET 管理信息 系统设计 论文

  上传时间： 2014-01-23

  上传用户：zhaoq123

• 基于单片机的交通灯系统设计与开发应用（完美版）免费下载

  资源简介：基于单片机的交通灯系统设计与开发应用（完美版）

  标签： 单片机 交通灯 系统设计

  上传时间： 2013-12-28

  上传用户：lnnn30

• 图书馆管理系统设计与开发 用ＶＢ开发系统的毕文论文免费下载

  资源简介：图书馆管理系统设计与开发 用ＶＢ开发系统的毕文论文

  标签： 图书馆 管理系统 开发系统 论文

  上传时间： 2013-12-04

  上传用户：sqq

• 基于J2EE的财务管理系统设计与实现毕业设计论文免费下载

  资源简介：基于J2EE的财务管理系统设计与实现毕业设计论文

  标签： J2EE 财务管理系统 毕业设计 论文

  上传时间： 2014-02-08

  上传用户：wweqas

• 关系数据库的工作流系统设计与实现.pdf免费下载

  资源简介：关系数据库的工作流系统设计与实现.pdf

  标签： 数据库 工作流系统

  上传时间： 2016-12-04

  上传用户：bakdesec

• 基于web的工资管理系统设计与实现.doc 里面有完整的管理信息系统免费下载

  资源简介：基于web的工资管理系统设计与实现.doc 里面有完整的管理信息系统，数据库，工资管理，实体关系图（E-R图），数据字典，数据流图。

  标签： web 管理系统 管理信息系统

  上传时间： 2013-12-02

  上传用户：WMC_geophy

• 基于JSP的酒店管理系统设计与实现11基于JSP的酒店管理系统设计与实现免费下载

  资源简介：基于JSP的酒店管理系统设计与实现11基于JSP的酒店管理系统设计与实现

  标签： JSP 管理系统

  上传时间： 2014-12-08

  上传用户：爱死爱死

• 基于DELPHI的图片浏览系统设计与实现免费下载

  资源简介：基于DELPHI的图片浏览系统设计与实现，带论文，网上收集到的。

  标签： DELPHI 系统设计

  上传时间： 2014-01-17

  上传用户：asdkin

• 基于指纹识别身份验证的数据采集系统设计与实现免费下载

  资源简介：基于指纹识别身份验证的数据采集系统设计与实现

  标签： 指纹识别 身份验证 数据采集 系统设计

  上传时间： 2017-06-04

  上传用户：xz85592677

• 基于定点DSP的MP3解码系统设计与实现免费下载

  资源简介：基于定点DSP的MP3解码系统设计与实现

  标签： DSP MP3 定点 解码

  上传时间： 2014-08-13

  上传用户：erkuizhang

• 基于DSP的指纹采集系统设计与指纹图像预处理算法的研究与实现免费下载

  资源简介：基于DSP的指纹采集系统设计与指纹图像预处理算法的研究与实现

  标签： DSP 指纹采集 指纹图像 系统设计

  上传时间： 2013-12-22

  上传用户：chenxichenyue

• 基于nRF905芯片的无线呼号系统设计与实现免费下载

  资源简介：0316、基于nRF905芯片的无线呼号系统设计与实现

  标签：

  上传时间： 2014-04-09

  上传用户：hanwu

• LabVIEW的PID控制系统设计与实现免费下载

  资源简介：该文档为LabVIEW的PID控制系统设计与实现简介资料，讲解的还不错，感兴趣的可以下载看看…………………………

  标签： labview pid控制系统

  上传时间： 2021-10-26

  上传用户：

• 【毕业论文】基于matlab的人脸识别系统设计与仿真(含matlab源程序)免费下载

  资源简介：该文档为【毕业论文】基于matlab的人脸识别系统设计与仿真(含matlab源程序)资料，讲解的还不错，感兴趣的可以下载看看…………………………

  标签： matlab

  上传时间： 2021-11-07

  上传用户：ttalli

• 基于软件无线电平台的OFDM通信系统设计与实现免费下载

  资源简介：该文档为基于软件无线电平台的OFDM通信系统设计与实现讲解文档，是一份很不错的参考资料，具有较高参考价值，感兴趣的可以下载看看………………

  标签： 软件无线电 ofdm

  上传时间： 2022-02-03

  上传用户：

• 基于ARM指令架构的微控制器系统设计与功能验证免费下载

  资源简介：该文档为基于ARM指令架构的微控制器系统设计与功能验证讲解文档，是一份很不错的参考资料，具有较高参考价值，感兴趣的可以下载看看………………

  标签： arm 指令 微控制器

  上传时间： 2022-02-28

  上传用户：默默

• 简单的汉字显示系统 能移动显示 用C语言编写免费下载

  资源简介：简单的汉字显示系统 能移动显示 用C语言编写

  标签： 汉字显示 C语言 移动显示

  上传时间： 2013-12-29

  上传用户：wendy15

• 竞技型投篮机器人的设计与制作,用单片机实现,有不明白的可以联系我,QQ64134703,专业毕业设计辅导免费下载

  资源简介：竞技型投篮机器人的设计与制作,用单片机实现,有不明白的可以联系我,QQ64134703,专业毕业设计辅导

  标签： 64134703 QQ 机器人 用单片机

  上传时间： 2013-11-28

  上传用户：气温达上千万的

• 数据库索引技术中的可扩充线性哈希表visual C++实现免费下载

  资源简介：数据库索引技术中的可扩充线性哈希表visual C++实现

  标签： visual 数据库索引 线性

  上传时间： 2014-01-21

  上传用户：924484786

• 数据挖掘中的决策树算法。c4.5,用C语言写的。比较全面。免费下载

  资源简介：数据挖掘中的决策树算法。c4.5,用C语言写的。比较全面。

  标签： 4.5 数据挖掘 决策树算法 C语言

  上传时间： 2017-07-30

  上传用户：zhouchang199

• 本程序提供密钥产生的一些基本数学实现 用c++实现免费下载

  资源简介：本程序提供密钥产生的一些基本数学实现 用c++实现

  标签： 程序 密钥

  上传时间： 2016-10-05

  上传用户：cc1

• 基于JAVA的网络通讯系统设计与实现（WORD论文文档+系统）免费下载

  资源简介：摘  要 在网络越来越发达的今天，人们对网络的依赖越来越多，越来越离不开网络，由此而产生的聊天工具越来越多，例如，国外的ICQ、国内腾讯公司开发的OICQ。随着网络聊天一类的聊天系统的发展日新月异，因此产生了制作一个类似QQ的网络聊天工具。Java是一种...

  标签： java 网络通讯

  上传时间： 2021-10-25

  上传用户：XuVshu