只为小站
首页
域名查询
文件下载
登录
首页
一阶谓词逻辑归结原理代码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))
文件下载
立即下载
评论信息
其他资源
最新WPS语言中文包
TE田纳西-伊斯曼过程数据集
matlab语音信号处理
基于MVC框架的图书销售系统
Coplanar Waveguide Circuits, Components, and Systems
多目标粒子群算法matlab
条件平差的 C++代码
DFIG的Simulink模型
MMC模块化多电平变换器全套资料+PSCAD仿真
e语言-拼多多商品主图/详情图抓取源码
虚拟三维场景(opengl编程实例)
图尔克GSD文件
C#连接DB2远程数据库
从敏捷的业务目标论软件开发
数学建模模拟退火.rar
jquery-1.11 资源
用VBA制作KTV点歌系统
mac 工具redis 客户端 Medis 破解版
ssh框架完整实例
C/C++ Windows移植到LINUX 的数据类型转换总结
PMBOK项目管理知识体系第六版PDF高清-专业指导文档类资源
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
拾荒者扫描器.zip
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
倒立摆的模糊控制(基于simulink仿真,适合初学者).rar
20200318附加-2019年电赛综合测评方案详细计算过程(pdf版本,有朋友反映word版本乱码,特意转为pdf)
超大规模集成电路先进光刻理论与应用.pdf
商用密码应用与安全性评估——霍炜.pdf
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
2020年数学建模国赛C题论文
Android小项目——新闻APP(源码)
雷达信号处理仿真程序(MTI,MTD等)
刚萨雷斯《数字图像处理》第四版答案.pdf
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
2020年数学建模B题(国二)论文.pdf
狂神说全部笔记内容.zip
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
最新下载
2010数模全国赛A题—储油罐变位识别与罐容表标定
helix-qac的使用说明,包括基础安装配置及qac与qacpp三份pdf
GSM全部协议下载和导读
GSM通信协议标准中文板
GSM 3GPP射频标准
电力系统、电路、电网络分析课程PPT
电网络理论课件
bk_writer_V1.61_2021_0122.zip
61850 C#实现源码
适用于三星N8000的Android 11版本的ROM(lineage-18.1-20210114-HTML6405-n8000.zip)