只为小站
首页
域名查询
文件下载
登录
首页
子句归结实验1
子句归结实验1
上传者:
35779047
|
上传时间: 2023-11-07 19:38:07
|
文件大小: 482KB
|
文件类型: PDF
人工智能
1. 对所给问题进行知识的逻辑表示,转换为子句,对子句进行归结求解 2. 选用一种编程语言,在逻辑框架中实现 Horn 子句的归结求解 3. 对下列问题用逻辑推
文件下载
立即下载
评论信息
其他资源
Fluent二维翼型俯仰运动UDF
计算流体驱动方腔程序
北京大学_软件工程_孙艳春_教学视频
干扰信号识别.docx
DBMS课程设计C语言实现全部源码与设计文档
hp indigo RIP 5.2
微机原理与接口技术 PDF
破解版teechart5控件
UCI 数据集
北大青鸟_超市账单管理系统(含sql语句在WebRoot下)
GigaDevice.GD32F1x0_DFP.2.0.1.zip
Optical system design with conformal decentered and tilted elements
心血管生理3.ppt课件
C#SerialPort通信详细介绍
编译原理词法分析语法分析
超级实用的Shape转WKT利器,有源码
color correction matrix for digital still and video imaging systems
数据结构(栈、队列、二叉树、顺序查找、二分查找、图的遍历等)
《轻松玩转ARM Cortex-M0+微控制器基于飞思卡尔FRDM-KL25Z评估板》代码
非局部均值 图像去噪(matlab)
gexf4j-1.0.0.jar
改进的无线传感器网络DV_Hop定位算法
opencv背景差分
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
python实现的学生信息管理系统—GUI界面版
Vivado license 永久
2020年数学建模B题(国二)论文.pdf
2019西门子杯六部十层电梯群控参考程序.zip
王万良-人工智能导论(第五版)课件
大学生网页设计大作业-5个网页设计制作作品自己任选
MATLAB车牌识别系统
多智能体的编队控制程序的补充(之前上传少了一个文件)
20200318附加-2019年电赛综合测评方案详细计算过程(pdf版本,有朋友反映word版本乱码,特意转为pdf)
cublas64_11.dll cublasLt64_11.dll cusolver64_11.dll
avantage 软件 xps 处理软件30天后不能使用问题
全国道路网SHP数据.zip
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
2020年数学建模B题穿越沙漠全部代码全国赛二等奖.zip
韦来生《数理统计》课后习题与答案
最新下载
电机设计精简版1
YDT协议 指令生成工具
DIWASP——直接波浪分析软件
无人船中英文文献.zip
北大陈向群老师09年操作系统高级课程PPT
2021上半年软件设计师考试下午真题(试题解析+参考答案).pdf
IEC 61970标准 中文版
【VS2019】Visual Studio 2019 Professional 16.8.30 中文最新完整离线安装版[百度盘37G]
京信AP2600-IFM原厂+可通用的中兴 812N编程器固件
Cadence高速PCB设计实战攻略.rar