只为小站
首页
域名查询
文件下载
登录
首页
一阶谓词逻辑归结证明算法,sysu实验
一阶谓词逻辑归结证明算法,sysu实验
上传者:
52503105
|
上传时间: 2022-03-10 15:54:36
|
文件大小: 8KB
|
文件类型: -
算法
python
On(aa,bb) On(bb,cc) Green(aa) !Green(cc) (!On(x,y),!Green(x),Green(y)) input1内容
文件下载
立即下载
评论信息
其他资源
相位编码脉冲压缩雷达的多普勒补偿算法
stm32f407驱动ws2818全彩灯(7灯)
MFEA2 by xiaofengboke.rar
FX5U以太网口MC协议通信说明书
红外通信keil源代码及proteus仿真
基于状态空间方程的预测控制程序
带有约束条件的遗传算法程序
labview调用安捷伦
用标签(Label)实现对鼠标坐标位置的显示
Asp三层架构图书管理系统
人脸表情识别的源代码
多径效应MATLAB程序
OPNET的拒绝服务攻击建模与仿真
数字图像处理 MATLAB版.中文版 第二版
pinyin4j-2.5.1.jar
DAC7731E DS26C32差分16位DA变换板 AD09设计硬件原理图+PCB+封装库文件.zip
dashboard.zip
jsp简单的学生选课系统
小米笔记本一代6200u hd520 完成mojave:config.plist.zip
决策树分类方法
一个基于ASP.NET+C#实现的GroupingView分组统计控件代码
hadoop 2.9.0 dll和winutils.exe文件64位和32位都有
JAVA开发的中国象棋游戏(包括源码和需要的图片)
windchill 中文客制化
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
大唐杯资料+题库(移动通信)
Vivado license 永久
2010年-2020中国地面气候资料数据集(V3.0)
2020年数学建模B题穿越沙漠全部代码全国赛二等奖.zip
上帝之眼和拾荒者.rar
Steam离线安装版
凯斯西储大学(CWRU)轴承数据集(含数据包+整理Python程序+使用说明)
鲸鱼优化算法 WOA matlab源代码(详细注释)
IBM.ILOG.CPLEX.Enterprise.Server.v12.10.0.Win64.rar CPLEX下载
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
CNN卷积神经网络Matlab实现
Matpower中文使用手册(原名《MATPOWER手册(中文版)》).rar
基于OpenCV的车牌号码识别的Python代码(可直接运行)
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
毕业设计:基于Python的网络爬虫及数据处理(智联招聘)
最新下载
常用经典斯坦福点云数据
Zemax使用Binary-2面型设计案例,How-to-use-Binary-2.zip
【基于Pluto SDR的OFDM通信系统】中的sync_word_data.mat
威仕特T更新数据
CUHK Occlusion Dataset数据集 yolo格式+VOC格式 包括划分好的训练集和数据集
euromap63-manual_zh-cn_euromap63_
stc89c51AD库
cwRsync服务端和客户端V4.1.0打包下载
基于STC12C5A60S2自带AD转换和TL5615芯片完成AD/DA 转换程序
python快排全套带环境前后端.zip