只为小站
首页
域名查询
文件下载
登录
首页
一阶谓词逻辑归结原理代码v2
一阶谓词逻辑归结原理代码v2
上传者:
52503105
|
上传时间: 2022-03-27 11:37:28
|
文件大小: 10KB
|
文件类型: -
python
sysu
改正了上一版的逻辑错误 输入样例: On(aa,bb) On(bb,cc) Green(aa) !Green(cc) (!On(x,y),!Green(x),Green(y))
文件下载
立即下载
评论信息
其他资源
声光报警器实验报告
Android视频添加时间水印
基于MATLAB的循环码编译码实现
基于simulink的16QAM的调制解调.slx
ELM极限学习机 Matlab代码
雷赛运动控制卡VB,LABVIEW代码
微软原版 spy++ 10.0 (真正完美兼容32位、64位系统)
深入浅出WPF-刘铁猛-MVVM视频源代码
WPF 学生信息管理
myCBR-3.0.1-win-64-bit.zip
pdf在线预览,适用于pc, android, ios
S6D0123_V1.1_20050831.pdf
Embedded Linux Systems with the Yocto Project.zip
汽车网络技术—以太网与FlexRay.ppt
万能脱壳工具.zip
5.6.unitypackage
Skim-1.5.13.dmg
C++数据结构之文件压缩(哈夫曼树)实例详解
JasonQt_Database Demo 支持多线程
贝叶斯网络之父:Judea Pearl论文集1
Java深入解析 透析Java本质的36个话题-高清版-完整目录-2013年11月
无人驾驶车辆智能行为及其测试与评价
毕业生信息管理系统网站设计论文.
空间向量模型源代码
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
DS证据理论的MATLAB案例程序源代码
极域电子教室管理系统软件V2.0 2022稳定版 支持Win11
EEupdate_5.35.12.0 win10下修改intel网卡mac
Vivado永久激活license(亲测可用)包(搜集的全部可用LICENSE)
MVDR,Capon波束形成DO估计.zip
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
MAC OS.X.10.8.iso 镜像文件
ChinaMeteorologicalDataHandler.R
数据结构课后习题答案
王万良-人工智能导论(第五版)课件
DBSCAN算法Matlab实现
商用密码应用与安全性评估——霍炜.pdf
航迹融合算法MATLAB仿真程序
simulink仿真实现光伏发电MPPT+能量管理
token登录器.rar
最新下载
门锁接口测试程序
cst屏蔽机箱完整算例-电磁兼容.pdf
word文档查重
VBA 64位 vbe6ext.olb
牛津英语词典翻译excel、sql版本(非pdf版本)
CAD字体文件:提示缺失字体dblct.shx
See MIPS Run 2nd(英文版)
跳频通信MATLAB程序
ICPC算法板子,超完整整理!
自己用的visio流程图库