只为小站
首页
域名查询
文件下载
登录
首页
子句归结实验1
子句归结实验1
上传者:
35779047
|
上传时间: 2023-11-07 19:38:07
|
文件大小: 482KB
|
文件类型: PDF
人工智能
1. 对所给问题进行知识的逻辑表示,转换为子句,对子句进行归结求解 2. 选用一种编程语言,在逻辑框架中实现 Horn 子句的归结求解 3. 对下列问题用逻辑推
文件下载
立即下载
评论信息
其他资源
基于opencv的数字识别
DocuPrint M115 b/M115 f/M115 fs/ M115w/M115fw/M115z/M118w/M118z英文维修手册
郁金香辅助全集
基于Android studio的2048游戏源码加文档设计
face++人脸识别demo
工程桩自动编号及提取坐标程序
MeanShift_MATLAB代码+详细注释
人工免疫算法程序-故障检测matlab
linux根文件系统文件rootfs
google 谷歌 第三方登录 web
VB界面美化工具
USB转TTL CP2102原理图
fancensus_demo-源码
设计与表达
一元二次方程.vbp
区块链知识入门.pdf
教育教学资源库系统 系统源码 论文待续
高斯-赛德尔迭代法计算公式 matlab
四个16×16点阵LED电子显示屏的设计,代码加设计加仿真图(1).rar
贪吃蛇(C++ ,graphics.h)
薛开宇caffe学习笔记完整版
ELMJava实现
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
VideoDownloadHelper去除120分钟时间限制-高级版.zip
Autojs 例子 源码 1600多个教程源码
mingw-w64-install.exe
C4.5决策树算法的Python代码和数据样本
基于VMD算法的信号降噪.rar
中国地面气候资料日值数据集(V3.0)2014-2019.zip
IEEE33节点配电网Simulink模型.rar
华为OD机试真题.pdf
ChinaMeteorologicalDataHandler.R
雷达信号处理仿真程序(MTI,MTD等)
BP_PID控制仿真.rar
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
基于STM32的电子时钟设计
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
基于傅里叶算子的手势识别的完整源代码(Python实现,包含样本库)
最新下载
未来教育二级java激活码
Win32OpenSSL-1-1-1u.msi
energyplusbuddy:Energy Plus 批量模拟工具
上海市区划数据SHapefile,精确到街道(乡镇级),中英双地名
ISO9001最新软件文档模板
脉冲超声波的发射与接收电路设计
优化版cJson解析库
MVViewer_2.1.6_Build20181116.zip
qlafc-linux-8.01.04-3-install;qla2xxx-src-v8.08.00.07.07.0-k.tar
PC-Lint 9.0L破解修正版