只为小站
首页
域名查询
文件下载
登录
首页
子句归结实验1
子句归结实验1
上传者:
35779047
|
上传时间: 2023-11-07 19:38:07
|
文件大小: 482KB
|
文件类型: PDF
人工智能
1. 对所给问题进行知识的逻辑表示,转换为子句,对子句进行归结求解 2. 选用一种编程语言,在逻辑框架中实现 Horn 子句的归结求解 3. 对下列问题用逻辑推
文件下载
立即下载
评论信息
其他资源
基于CCS和ICETEK5509实验箱FFT算法的C语言实现与验证
autojs4.1.1合集.zip
stm32ll库(law_layer)
黑马C/C++讲义
asp.net MVC和IBatis.net整合demo程序
MATLAB源码集锦-人员疏散过程建模仿真代码
正则表达式—>NFA—>DFA—>DFA最小化
nlpcc2013样例集,excel版
国家统计局-2019最新-省市县乡镇村-数据树形结构sql,5级到村(无香港澳门台湾)
MySQL学习笔记+python接收传感器+python将数据写入MySQL+PHP连接本地MySQL
STM32,51AD常用封装库+两个集成库
永恒最新刻绘图库
cxf-api-2.6.1.jar
前端自定义拖拽可视化工具dome
11.【final、权限、内部类】.zip
机械动力学实验报告 无阻尼动力减震器.docx
H1164 DS26C31 DS26C32 8路网口单端转差分板 PROTEL 99SE 原理图+PCB+封装库文件.zip
mysql-农历.txt
中间件Corba
基于Fisher的人脸识别程序
中国1km分辨率高程数据
tcs230颜色识别传感器
Cesium1.3.9帮助文档chm
spring框架学习视频
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
vivado 破解 lisence(有效期到2037年) 下载
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
基于傅里叶算子的手势识别的完整源代码(Python实现,包含样本库)
Autojs 例子 源码 1600多个教程源码
20200318附加-2019年电赛综合测评方案详细计算过程(pdf版本,有朋友反映word版本乱码,特意转为pdf)
ios无人直播 虚拟视频实用版 可以导入视频
VideoDownloadHelper去除120分钟时间限制-高级版.zip
PSO-LSSVM的MATLAB代码.rar
现代操作系统原理与实现.pdf
狂神说全部笔记内容.zip
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
2019西门子杯六部十层电梯群控参考程序.zip
java-spring-web-外文文献翻译40篇.zip
粒子群多无人机协同多任务分配.zip
最新下载
使用计算整定PI参数的方法
IBM iSeries Access for Windows
C#-基于NetDXF实现winform加载并简单绘制dxf
基于C#操作DXF
houston 2018 的数据集
南京科远DCS软件 NT6000 V4.2.014 Release Build 2021.1018 Setup
vasp.5.3.5.tar.gz
Ubuntu 安装yafu库相关资源
windchill二次开发资料
网卡代码56修复工具.exe