只为小站
首页
域名查询
文件下载
登录
首页
子句归结实验1
子句归结实验1
上传者:
35779047
|
上传时间: 2023-11-07 19:38:07
|
文件大小: 482KB
|
文件类型: PDF
人工智能
1. 对所给问题进行知识的逻辑表示,转换为子句,对子句进行归结求解 2. 选用一种编程语言,在逻辑框架中实现 Horn 子句的归结求解 3. 对下列问题用逻辑推
文件下载
立即下载
评论信息
其他资源
编译好的proj库,可以直接使用
ORBvoc.txt
模拟电子琴设计8086作为处理器,以8253控制扬声器
用Matlab实现分支定界法求解整数线性规划问题。
max197各种资料以及驱动程序
克里金 Kriging 插值
2019 CPU GPU天梯图 Excel 可编辑
STM32程序ZigBee
Winfrom不分层茶楼管理系统源码_9bab62b6-0da0-4fba-8358-ab118ee63122.rar
Mybatis逆向工程(包含命令行生成代码,main主程序生成方法)
ikvm资源及测试包
WMI 获取计算机信息(cpu 硬盘 网卡 网速)
中控人脸/指纹机DEMO(delphi)
c++实现中缀变后缀表达式
Arcgis Server10.0安装教程
最好用的程序多开
解决 win7 opencv+python+pyinstaller 打包之后运行失败
黑色风格HTML5企业网站 html5整站源码带后台
flash透明时钟140个
pci并串行接口驱动程序
MySql开发者sql权威指南(英文版)相当好的一本书
计算机系统结构复习资料_2018-2019学年
MIMO-OFDM不同信道估计的对比
批量淘宝图片加边框水印软件
JSP在线教学平台
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
得到品控手册7.0.pdf
大唐杯资料+题库(移动通信)
JPEG的Matlab实现
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
CNN卷积神经网络Matlab实现
matlab机器人工具箱实现机械臂直线轨迹&圆弧轨迹规划
avantage 软件 xps 处理软件30天后不能使用问题
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
云视通扫描工具.zip
知网情感词典(HOWNET)
多目标优化算法(四)NSGA3的代码(python3.6)
2019年秋招—华为硬件工程师笔试题目.pdf
鲸鱼优化算法 WOA matlab源代码(详细注释)
RX560 bios合集(请务必注意显存品牌和大小以及是否需要6pin!)含刷新工具.zip
Android小项目——新闻APP(源码)
最新下载
win10 null.sys
PCF8563定时报警.doc
MMD常用舞蹈动作+镜头+音乐
2011年1月-2021年12月彩票数据.xls
电力系统分析的计算机算法 邱晓燕等编
奎享雕刻软件windows版.zip
腾讯热力图数据(腾讯全球移动定位数据)的抓取工具-正式版本
68000汇编语言程序设计
iKuuu_V2.yaml
掌讯SD8227-7.0版