只为小站
首页
域名查询
文件下载
登录
首页
子句归结实验1
子句归结实验1
上传者:
35779047
|
上传时间: 2023-11-07 19:38:07
|
文件大小: 482KB
|
文件类型: PDF
人工智能
1. 对所给问题进行知识的逻辑表示,转换为子句,对子句进行归结求解 2. 选用一种编程语言,在逻辑框架中实现 Horn 子句的归结求解 3. 对下列问题用逻辑推
文件下载
立即下载
评论信息
其他资源
部标GPS车载终端上线指令集
Rockey4狗改密码工具
SX1261-2 中文数据手册.pdf
AHP层次分析法Excel
HDwiki百度百科主题
水费管理系统
51单片机多个超声波测距
EES官方参考书:热力学讲义
python实现图片拼接
Raize for delphi10.3
世界地图矢量
C# Winform,FX3U-32M,FX3u-ENET-ADP,MC协议通信
C#Winform透明Textbox控件
基于JSP网上订餐系统的设计与实现
基于PKI的Web单点登录系统的设计与实现
flask-swagger:用于烧瓶的swagger 2.0规格提取器-源码
tl1772_v0.8_20060101.pdf
编译飞尔国内,外,视频.rar
主题:Clojure的递归,数据驱动的模式匹配-源码
WIN10家庭版远程桌面完美解决方案(1909版本 10.0.18363.535及之前版本)
android-----百度语音在线识别代码
高仿网易新闻客户端最终版Android应用源码
耿国华教授数据结构cware.rar课件
Mysql DBA 运维视频-老男孩版
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
计算机专业实习日记+实习周记+实习总结
IBM.ILOG.CPLEX.Enterprise.Server.v12.10.0.Win64.rar CPLEX下载
校园网规划与设计和pkt文件
风电场风速及功率数据.zip
cublas64_11.dll cublasLt64_11.dll cusolver64_11.dll
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
DBSCAN算法Matlab实现
PLECS中文手册.pdf
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
2019年秋招—华为硬件工程师笔试题目.pdf
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
Vivado永久激活license(亲测可用)包(搜集的全部可用LICENSE)
大唐杯资料+题库(移动通信)
Monet智能交通场景应用
数字图像处理[冈萨雷斯]
最新下载
k210视频循迹的一种方法
COMDLG32.OCX
振弦传感器监测装置设计及原理解析.zip
kodexplorer4.4版本完美修改版.zip
BMP图像文件读写操作类,C++实现,支持24位位图
傻瓜进销存完美破解
ds180_7Series_Overview.pdf
PSpice仿真工具:双脉冲测试电路解决方案,针对SiC及传统功率器件SiC MOSFET、SiC MOSFETs和IGBT的开关特性评估
CocosStudio 1.6.0.0
CocosStudio_v1.6.0.0