只为小站
首页
域名查询
文件下载
登录
首页
子句归结实验1
子句归结实验1
上传者:
35779047
|
上传时间: 2023-11-07 19:38:07
|
文件大小: 482KB
|
文件类型: PDF
人工智能
1. 对所给问题进行知识的逻辑表示,转换为子句,对子句进行归结求解 2. 选用一种编程语言,在逻辑框架中实现 Horn 子句的归结求解 3. 对下列问题用逻辑推
文件下载
立即下载
评论信息
其他资源
Redis英文文献加翻译(毕业设计可用)
好用的知名pdf高级编辑器,开源版无需会员即可使用
stm32控制ch376s例程
Qt5.9 VS2017 Matlab2018b工程
STM32103C8T6+ADS1256.rar
基于1602的自制无线模块双机通信proteus仿真图
package_emd(EMD的matlab程序)
max30102心率血氧传感器
内网渗透经典文集.rar
移动机器人的路径规划以及避障
rinetd aix版 一个端口转发工具
基于Arduino Uno平台的跌倒检测报警系统设计
软考系统分析师教程知识点梳理.docx
城市轨道交通隧道结构养护技术标准CJJT289-2018.pdf
magento2-ajax-cart:Ajax添加到购物车进行扩展Magento 2提供了通过AJAX弹出窗口将产品添加到购物车的主要功能。 通过允许客户直接在产品列表页面中将任何产品类型添加到购物车,它大大改善了用户体验-源码
sql_profile脚本
关于scala项目spark.zip
新零售目标产品的精准需求预测 论文.pdf
织梦采集侠自动采集更新2.7最新超强破解版
俄罗斯数学教材选译-偏微分方程讲义(第3版)-[俄]奥列尼克-高等教育出版社-2008.pdf
反序列化漏洞检查工具 Weblogic XML CVE-2017-10271
软件体系结构期末测验A卷
2018--12-13 银行联行号带省市数据
粒子群优化算法,matlab实现程序,有详细注释,可以直接运行
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
西安问题电缆-工程伦理案例分析.zip
数据结构课后习题答案
elsevier 爱思唯尔 系列期刊的word模板,template,单栏,双栏
2019西门子杯六部十层电梯群控参考程序.zip
基于Servlet+jsp+mysql开发javaWeb学生成绩管理系统
quartus II13.0器件库.zip
基于傅里叶算子的手势识别的完整源代码(Python实现,包含样本库)
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
知网情感词典(HOWNET)
全国道路网SHP数据.zip
基于STM32的FFT频谱分析+波形识别
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
simulink仿真实现光伏发电MPPT+能量管理
MTALAB NSGA2算法
EBSD分析软件——Channel5下载安装教程
最新下载
日立伺服驱动器ADAX4伺服手册.pdf
联想IdeaPad U310 U410 BIOS升级固件 65cn99ww
matlab统计分析与应用 40个案例分析
harbor-offline-installer-v2.7.0.tgz
《固体物理教程》 王矜奉
VerticalDissolve-master.zip
极域电子教室-教师端和学生端.7z
H5婚礼邀请函
simscape_用户手册.pdf
深度学习大作业-纽约出租车流量预测python源码+数据集.rar