只为小站
首页
域名查询
文件下载
登录
首页
子句归结实验1
子句归结实验1
上传者:
35779047
|
上传时间: 2023-11-07 19:38:07
|
文件大小: 482KB
|
文件类型: PDF
人工智能
1. 对所给问题进行知识的逻辑表示,转换为子句,对子句进行归结求解 2. 选用一种编程语言,在逻辑框架中实现 Horn 子句的归结求解 3. 对下列问题用逻辑推
文件下载
立即下载
评论信息
其他资源
基于Matlab的扩频通信仿真
python界面图书管理系统—GUI界面版
立体车库控制设计(两份毕业设计)
libsvm网格法查找最优参数函数 SVMcgForClass.m(内用svmtrain函数)
基于RK3399的MPP库实现的视频编码例程
多用户多级目录文件系统c++源码(含实验报告)
Location-cleaned IOS14.4驱动包
麦子学院-HTML标记语言
公文系统需求.rar
凯云ETest产品介绍.pptx
文字连连看源码C++
Symantec Symbian Hack
Now.SMS/MMSGateway 注册机
sql server 省市级联sql语句
OMG“元对象机制”详细解读,英文原版
ggplot2.Elegant.Graphics.for.Data.Analysis.2nd.Edition
最好的电子日记本_鸿飞日记本
任哲-嵌入式实时操作系统μCOS-II原理及应用-练习源码
KST_WorkVisual_40_zh&库卡系统软件 8.3最终用户操作及编程指南
基于小波分析的纹理分割
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
西安问题电缆-工程伦理案例分析.zip
西门子逻辑控制设计开发_3部10层
2019和2021年华为单板通用硬件笔试题及答案
2019年秋招—华为硬件工程师笔试题目.pdf
基于Matlab的PI/4 DQPSK的调制解调源代吗
STM32F4时钟触发ADC双通道采样DMA传输进行FFT+测频率+采样频率可变+显示波形
opcua服务器模拟器+opcua客户端工具.rar
Spring相关的外文文献和翻译(毕设论文必备)
MPC 模型预测控制matlab仿真程序
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
模型预测控制MPC(模型预测电流控制,MPCC)的simulink仿真,2016b版本
20200318附加-2019年电赛综合测评方案详细计算过程(pdf版本,有朋友反映word版本乱码,特意转为pdf)
基于傅里叶算子的手势识别的完整源代码(Python实现,包含样本库)
2020年数学建模国赛C题论文
简易示波器-精英板.zip
最新下载
方正系列软件种子
克里金插值法:c++实现克里金插值法并使用openGL展示等值线
vsftpd-2.3.4-5.1.3.x86_64.rpm
pc捕捉桌面生成rtsp视频流工具.zip
睡眠状态监测智能枕头.docx
Sapera_LT_8.30_SDK.exe
Structural Defects Network (SDNET) 2018结构缺陷网络(SDNET)2018-数据集
RESIDE(indoor/outdoor)数据集
西门子软件密钥工具Sim_EKB_Install_2016_07_16
RTCA-DO-208-1991.pdf