只为小站
首页
域名查询
文件下载
登录
首页
子句归结实验1
子句归结实验1
上传者:
35779047
|
上传时间: 2023-11-07 19:38:07
|
文件大小: 482KB
|
文件类型: PDF
人工智能
1. 对所给问题进行知识的逻辑表示,转换为子句,对子句进行归结求解 2. 选用一种编程语言,在逻辑框架中实现 Horn 子句的归结求解 3. 对下列问题用逻辑推
文件下载
立即下载
评论信息
其他资源
PSO-ACO解决旅行商问题
64位ODBC驱动程序 Access 及 Excel
数字文本转化为高程点
基于MATLAB的变压器空载合闸瞬变过程仿真研究
电影推荐系统
基于Simulink的纯电动汽车动力系统传动比优化设计
信息类国家自然基金标书
机器学习经典论文
densenet201_weights_tf_dim_ordering_tf_kernels.h5
树状数据(多叉树)在数据库中存储的示例源码
弗雷克曼-源码
CDA刷机工具v1.91官方版(仅支持官方CPB).rar
MyBatis框架(二).zip
IBM智慧城市体系及解决方案介绍(33ppt).pptx-互联网文档类资源
cuinj64_102.dll
韩顺平 javascript 笔记 js面向对象 笔记 韩顺平 完整版
【OpenCV】ROI区域&图像混合例程by浅墨
stm32c8t6主控的鼠标键盘实例
网页设计理论复习题
格林威治时间转化北京时间以及时间转换格式代码大全
端口扫描器的设计与实现 课程设计
findEssentialMat
网狐跑胡子源码
数字电子技术基础第二版答案
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
cublas64_11.dll cublasLt64_11.dll cusolver64_11.dll
Vivado license 永久
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
空间谱估计理论与算法------程序.rar
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
EBSD分析软件——Channel5下载安装教程
SSM外文文献和翻译(毕设论文精品).doc
大唐杯资料+题库(移动通信)
芯片验证漫游指南以及源代码.zip
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
上帝之眼和拾荒者.rar
PLECS中文手册.pdf
Android大作业——网上购物APP(一定是你想要的)
最新下载
VSCode的remote-ssh插件,VSIX
winDecrypt.zip
mysql-connector-java-8.0.26.tar.gz
基于asp.net开发的图书管理系统
Proteus 实现的多功能音乐盒
mac10.15.5 wepe.iso
wr330eeprom, 原厂dx固件.rar
台达DVP的PLC程序密码破解方法
靶机-佛山发发鱼喊access注入
Jetson-TX2多声卡实现同时录音与播放