只为小站
首页
域名查询
文件下载
登录
首页
子句归结实验1
子句归结实验1
上传者:
35779047
|
上传时间: 2023-11-07 19:38:07
|
文件大小: 482KB
|
文件类型: PDF
人工智能
1. 对所给问题进行知识的逻辑表示,转换为子句,对子句进行归结求解 2. 选用一种编程语言,在逻辑框架中实现 Horn 子句的归结求解 3. 对下列问题用逻辑推
文件下载
立即下载
评论信息
其他资源
STM32-PWM输出源码
支持向量机参数优化.rar
Advanced Mathematics
pintos_project1
基于神经网络的车牌识别系统 matlab
socket应用(二) 用C语言写远程屏幕监视程序 源代码
labview滤波器设计
《数据结构_课程设计》表达式求值_实验报告
2019年全国职业技能大赛高职组计算机网络应用赛项H卷--配置命令概要.docx
Unity3d背包物品拖拽
spark中用scala编写累加器小程序统计文章中空白行
大学电子电路CAD课程设计
Unity刮刮乐效果、绘制透明工程
编译原理FOR循环语句的翻译程序设计(递归下降法、输出四元式)源码
基于dsp的cpld源代码
图像读取 坐标显示
银行管理系统需求文档.docx
Amiibo Bin.zip
H264码流分析.zip
OC Control BtnCountDown(验证码倒计时).zip
简单的星座测试程序方便你测试自己星座及知道怎么编写
培训机构软件测试ppt
Android Material Design之TabLayout + NavigationView联合使用
c++builder6.0做的mscomm串口通讯
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
基于Matlab的IEEE14节点潮流计算.zip
IBM CPLEX 12.10 学术版 mac操作系统安装包
Matpower中文使用手册(原名《MATPOWER手册(中文版)》).rar
中国地面气候资料日值数据集(V3.0)-201001201912.rar
西门子逻辑控制设计开发_3部10层
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
云视通扫描工具.zip
中小型企业网络建设.pkt
scratch版 我的世界.sb2
2020年数学建模B题(国二)论文.pdf
Spring相关的外文文献和翻译(毕设论文必备)
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
DBSCAN算法Matlab实现
王万良-人工智能导论(第五版)课件
Android小项目——新闻APP(源码)
最新下载
分享100个数据可视化大屏模板及通用组件库,资源免费下载(Axure高保真原型元件,可一键导入编辑修改)
最全的点阵字库(ASC12, ASC16, HZK16, HZK24,...)
河南省道路矢量数据
NCV63-预警平台技术红皮书
High Speed Serdes Devices and Applications.zip
串联型直流稳压电源-Multisim仿真.rar
lstm-char-cnn, 基于CNN的LSTM语言模型.zip
湿球温度批量估算工具
极致玻璃排版系统开料(下料)软件破解版
CCS C2000 Code Generation Tools 5.0.2