没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
C/C++
实验8 子句集消解实验.docx
实验8 子句集消解实验.docx
子句集消解实验
需积分: 38
21 下载量
133 浏览量
2021-06-04
16:07:55
上传
评论
2
收藏
89KB
DOCX
举报
温馨提示
立即下载
子句集消解实验
资源推荐
资源评论
子句消解实验报告
浏览:109
4星 · 用户满意度95%
和我之前上传的那个代码是一套,可以当做实验报告的模板用。
人工智能实验六-子句集化简.doc
浏览:195
人工智能实验六-子句集化简.doc
SEIECT—SQL语句中Where子句功能解析与应用.pdf
浏览:11
SEIECT—SQL语句中Where子句功能解析与应用.pdf
Oracle使用技巧之case子句的用途.docx
浏览:120
Oracle使用技巧之case子句的用途.docx
数据库管理与应用 5.2.10使用ORDER BY子句排序查询的记录.pdf
浏览:8
数据库管理与应用 5.2.10使用ORDER BY子句排序查询的记录.pdf 学习资料 复习资料 教学资源
LINQ的经典例子-Where,Select、SelectMany、SkipWhile子句中使用数组索引.
浏览:28
LINQ的经典例子-Where,Select、SelectMany、SkipWhile子句中使用数组索引.
数据库系统实验指导及内容二.docx
浏览:173
数据库系统实验指导及内容二全文共5页,当前为第1页。数据库系统实验指导及内容二全文共5页,当前为第1页。数据库系统实验指导及内容二 数据库系统实验指导及内容二全文共5页,当前为第1页。 数据库系统实验指导及...
人工智能导论—实验一.docx
浏览:195
人工智能导论实验报告——谓词逻辑知识表示 机器人搬盒子问题、爱因斯坦逻辑难题(斑马问题) 内容: 理解谓词逻辑知识表示的方法,掌握一阶谓词逻辑知识表示的基本原理,能够利用归结原理求解简单问题。掌握Prolog...
子句归结实验1
浏览:18
1. 对所给问题进行知识的逻辑表示,转换为子句,对子句进行归结求解 2. 选用一种编程语言,在逻辑框架中实现 Horn 子句的归结求解 3. 对下列问题用逻辑推
数据库系统原理实验.docx
浏览:171
5星 · 资源好评率100%
《数据库理论与应用》实验报告 数据库系统原理实验全文共8页,当前为第1页。实验序号:4 实验项目名称:数据完整性控制 数据库系统原理实验全文共8页,当前为第1页。 学 号 姓 名 专业、班 实验地点 指导教师 ...
基于目标演绎距离的一阶逻辑子句集预处理方法_曹锋.pdf
浏览:169
首先对原始子句集进行包含冗余子句约简和应用纯文字删除规则,然后根据目标子句计算剩余子句集中的文字目标演绎距离、子句目标演绎距离,并最终通过设定子句演绎距离阈值来实现对子句集的进一步预处理。将该预处理...
MySQL知识点 Select的子句Order By 与 limit.pdf
浏览:196
本PDF文档是作为萌狼蓝天CSDN萌狼蓝天-MySQL专栏-的补充 因为文档的图片上传失败了没有图片,所以需要看图的可以下载本附件
大学计算机课程实验7(经管类).docx
浏览:32
实验 7 数据查询 一、实验目的和要求: (1)理解和掌握在Access 2007 平台上进行数据查询的概念和类型; (2)掌握创建选择查询的方法; (3)掌握查询条件的设置及在查询中的计算; (4)掌握基本的SQL中select语句的使用...
DB2递归.docx
浏览:20
DB2递归.docx 1. 递归查询和初始查询结果必须包含相同数量的数据列; 2. 递归查询和初始查询结果数据列的、长度等必须一致; 3. 递归查询不能包含 GROUP BY 或者 HAVING 子句; 4. 递归查询不能包含 Outer Join...
T-SQL中where子句与having子句的对比分析.pdf
浏览:64
T-SQL中where子句与having子句的对比分析.pdf
详析SQL语言的WHERE子句与HAVING子句.pdf
浏览:67
详析SQL语言的WHERE子句与HAVING子句.pdf
人工智能实验报告
浏览:169
北方工业大学的人工智能实验报告,研究生适用。
数据库_性能优化篇-2(1).docx
浏览:121
1.对sql语句优化:就是能分开写的语句就分开写,不要一次...3.尽量避免在where子句中对字段进行函数或表达式操作。 4.避免使用is not null、in等一些无法让系统使用索引操作的词。 5.合理使用exists,not exists字句。
Qt上位机软件串口通讯,视频源码,免费下载
浏览:11
3星 · 编辑精心推荐
Qt上位机软件串口通讯,视频源码,免费下载,视频上我的b站主页找https://space.bilibili.com/401094174
代码随想录算法PDF.rar
浏览:155
3星 · 编辑精心推荐
代码随想录算法PDF.rar
张玉生《C语言程序设计》双色版 C语言程序设计理论教材习题参考答案.pdf
浏览:57
5星 · 资源好评率100%
张玉生《C语言程序设计》双色版 教材课后习题答案,仅供参考,大家一定要自己做一遍再校对答案,实验书的答案已经以文章的形式发布了。
cloud compare用户手册(中文+英文)
浏览:95
4星 · 用户满意度95%
cloud compare用户手册官方英文版本和中文翻译版本(WPS翻译的260页),我之前都没有找到靠谱的帮助文档,自己找了半天,花了50块钱翻译的。希望能给大家提供帮助。
CRC8/CRC16/CRC32常见几个标准的算法及C语言实现
浏览:107
5星 · 资源好评率100%
用表驱动法来实现CRC8、CRC16、CRC32的数据校验,程序简洁,通俗易懂
STM32F4 ADC采样FFT运算测试代码
浏览:41
5星 · 资源好评率100%
模拟信号经过ADC采样后变成数字信号,数字信号可以进行FFT运算,在频域中更容易分析信号的特征。此代码用STM32F407的ADC-DMA模式采集4096个点的数据,利用DSP库里的FFT算法进行快速傅里叶变换,经实测可以使用。
第十二届蓝桥杯大赛模拟赛(第三期).pdf
浏览:15
5星 · 资源好评率100%
蓝桥杯
Qt Qss三套样式文件 qss.zip
浏览:186
此文件为Qt Qss三套样式文件,下载后,在工程中引入使用即可。具体可参考博客: https://tangxing.blog.csdn.net/article/details/109160027
C++读取excel数据
浏览:90
4星 · 用户满意度95%
读取环境为Win10+VS2015,个人参考资料封装的excel读取模块用来读取Excel2007中的数据,文件为压缩文件,亲测可用。
点云粗配准算法
浏览:26
4星 · 用户满意度95%
写了几个点云配准的算法,主要包括PFH、FPFH、icp、NDT、3Dsc几种粗配准算法,并计算出误差。
2021csp-j初赛试题及答案.docx
浏览:153
2021csp-j初赛试题及答案 全新整理
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_45222249
粉丝: 1
资源:
7
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
昆仑通态TPC7032Ki、7031Ki 触摸屏 用户手册
关闭2000XP的端口图解
OpenStack.repo
Datamine Aegis v2023.2 地质数据管理和解释软件
基于matlab自助水果超市水果识别收费系统(GUI界面).zip源码81
16.sql
景区客流量预测.rar景区客流量预测.rar景区客流量预测.rar景区客流量预测.rar景区客流量预测.rar
网络抓包工具wireshark
文件名批量修改工具软件
Linux设备驱动.pdf
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功