只为小站
首页
域名查询
文件下载
登录
首页
子句归结实验1
子句归结实验1
上传者:
35779047
|
上传时间: 2023-11-07 19:38:07
|
文件大小: 482KB
|
文件类型: PDF
人工智能
1. 对所给问题进行知识的逻辑表示,转换为子句,对子句进行归结求解 2. 选用一种编程语言,在逻辑框架中实现 Horn 子句的归结求解 3. 对下列问题用逻辑推
文件下载
立即下载
评论信息
其他资源
android 短视频直播功能的实现
手机蓝牙示波器
C++ 高效 屏幕找图 函数源码 终极版 透明找图 容错
openstack安装包(一)
蓝凌MK-PAAS微服务部署手册.pdf
MFC_unicode相关链接库
RSA加密解密网络课程设计
人教版八年级上数学整册教学案.doc
IPL:IPL数据集的探索性数据分析-源码
fristalpha.github.io:hexo博客-源码
SecureCRT-FX_v9.0.0.2430.zip
r-geojsonio-feedstock:r-geojsonio的conda-smithy存储库-源码
u-boot-imx6ull-14x14-ddr256-nand.imx
水波干涉模拟程序
百度手环开源资料
乐器模拟器
网上商城练习项目(包括数据库)
OCJP试题 讲解(本人亲测有效,稳过)
用Python写的电影推荐系统
java+jsp做的网上书店源码+报告
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
YOLOv5 人脸口罩图片数据集
基于Matlab的IEEE14节点潮流计算.zip
机械臂避障路径规划仿真 蚁群算法 三维路径规划
2019西门子杯六部十层电梯群控参考程序.zip
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
Matpower中文使用手册(原名《MATPOWER手册(中文版)》).rar
java-spring-web-外文文献翻译40篇.zip
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
多机器人编队及避障仿真算法.zip
芯片验证漫游指南以及源代码.zip
鲸鱼优化算法 WOA matlab源代码(详细注释)
RX560 bios合集(请务必注意显存品牌和大小以及是否需要6pin!)含刷新工具.zip
中小型企业网络建设.pkt
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
Vivado license 永久
最新下载
CISPR 25 2021
Android秒表安卓APP开发源代码
西北工业大学最优化考试习题.pdf
JQ8900-16P MP3语音模块芯片音乐模块 串口控制 USB直接拷贝板.rar
第十五届蓝桥杯EDA赛模拟试题一(嘉立创EDA提供)(1).zip
各省市土地利用情况(2003-2017)(Excel、SPSS、文本三个数据格式).zip
一个模拟视频输入转VGA视频输出的Verilog程序,视频解码芯片采用ADV7181B,VGA DAC采用ADV7123
编译原理-简单编译器课程设计(C语言源代码)(附实验报告)
编译原理C语言小子集的编译器
C语言程序设计第3版(何钦铭,颜晖主编)全套课件