只为小站
首页
域名查询
文件下载
登录
首页
一阶谓词逻辑归结原理代码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))
文件下载
立即下载
评论信息
其他资源
印友印刷管理系统
多边形边缘填充算法 计算机图形学 案例代码
W25Q128FV中文数据手册(已添加完整书签目录)
JavaWeb图书管理系统MYSQL版 源码实例下载
179海关上报数据方法(.net)
虚拟串口软件VSPD最新版+注册码
基于小波阈值对语音信号降噪处理(MATLAB实现)
浮点混合基fft程序
GAC算法matlab实现
《华章数学译丛 数学分析原书第2版》Apostol著 PDF+高清+影印+全书签.rar
在Linux中安装oracle界面乱码解决的字体包
matlab图像主成分变换程序(PCA)
金融科技SDL安全设计Checklist
KEPserver__OPC远程访问配置步骤说明
Android实现从服务器端数据库读数据JSON解析
高级计量经济学stata数据
基于qt的qmediaplayer类实现的一个播放器
京东茅台python抢购版
一种新型基于TEC的精密温控器设计
Computer Networking A Top-Down Approach 5th
mfc界面程序入门项目——整合sqlite3数据库
基于2dpca的人脸识别
C# 二维码生成图片(源码)
Rhino调用JQuery环境配置文件
H+ 后台主题UI框架 V4.1(官方原版带文档)基于Bootstrap3.3.6
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
雷达信号处理仿真程序(MTI,MTD等)
空间谱估计理论与算法------程序.rar
通过svm cnn knn对高光谱数据集PaviaU进行分类(matlab)
多智能体的编队控制matlab程序(自己编写的,可以运行)
scratch版 我的世界.sb2
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
基于hadoop商品推荐系统课程设计
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
csma/ca和csma/cd的matlab仿真源代码带有详细的注释
EasyMedia-ui.zip
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
C4.5决策树算法的Python代码和数据样本
Elsevier爱思唯尔的word模板.zip
离散时间信号处理第三版课后习题答案
基于Python网络爬虫毕业论文.doc
最新下载
华容道完整源码及素材(Java实现)
方正系列软件种子
克里金插值法:c++实现克里金插值法并使用openGL展示等值线
vsftpd-2.3.4-5.1.3.x86_64.rpm
pc捕捉桌面生成rtsp视频流工具.zip
睡眠状态监测智能枕头.docx
Sapera_LT_8.30_SDK.exe
Structural Defects Network (SDNET) 2018结构缺陷网络(SDNET)2018-数据集
RESIDE(indoor/outdoor)数据集
西门子软件密钥工具Sim_EKB_Install_2016_07_16