只为小站
首页
域名查询
文件下载
登录
首页
子句归结实验1
子句归结实验1
上传者:
35779047
|
上传时间: 2023-11-07 19:38:07
|
文件大小: 482KB
|
文件类型: PDF
人工智能
1. 对所给问题进行知识的逻辑表示,转换为子句,对子句进行归结求解 2. 选用一种编程语言,在逻辑框架中实现 Horn 子句的归结求解 3. 对下列问题用逻辑推
文件下载
立即下载
评论信息
其他资源
联想(Lenovo)G460 BIOS白名单 高级选项版
Guns技术文档.pdf(完整版)(Guns 技术文档 v1.0.pdf)
cr5000培训资料合集
Pointers on C 英文版
STM32F103c8t6最小系统PCB
CloudCompare_v2.11.alpha_setup_x64.exe
带操作界面GUI的字母识别-MATLAB程序
EsptouchForAndroid
常青藤4.2破解版
unity3d调用中央气象局城市天气数据,api调用
neo4j-php.zip
无刷直流电机仿真模型
网络工程实验报告
通过可控的单光子失谐在捕获的冷原子中任意共传播超光速和慢光
ACFD作业3_2018311045.pdf
spring-beans-4.3.9.RELEASE.jar
java图形化界面教程视频.txt
SecureCRT8.5乱码解决方法
moire条纹图像处理
采用基于区域的种子区域生长方法(SRG)的彩色图像分割
Trade.dll 交易接口和TradeX.dll行情交易二合一接口
110kv变电所毕业设计
VC++ 6.0当前屏幕截图
联发科mt7628 pcb图纸
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
基于STM32的电子时钟设计
Plex v7.12电视端app
画程(版本6.0.0.127)setup个人版
RNN-LSTM卷积神经网络Matlab实现
东南大学英语技术写作慕课所有答案
夏天IC助手1.8你们懂的
航迹融合算法MATLAB仿真程序
DBSCAN算法Matlab实现
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
全国河流水文站坐标.xls
cublas64_11.dll cublasLt64_11.dll cusolver64_11.dll
voc车辆检测数据集(已处理好,可直接训练)
基于STM32的FFT频谱分析+波形识别
张正友相机标定Opencv实现(完整程序+棋盘图)实例源码
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
最新下载
Windows 95 For VMware Workstation 全套驱动及补丁
QQ飞车全套易语言源码+模块.zip
mt4api开发包[1.0.0.7].rar
三星Z3X SamsungToolPRO_28.2解锁神器破解版(免盒子)亲测100%可用
STM32网络升级BootLoader
基于MATLAB的地理数据分析数据.rar
南海诸岛及九段线shp
四海等深线_shp
四张电子海图
中国南海诸岛矢量数据.zip