只为小站
首页
域名查询
文件下载
登录
首页
一阶谓词逻辑归结原理代码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))
文件下载
立即下载
评论信息
其他资源
读取MDF的工具
分裂波束 HBF相关的资料 pdf格式
在线顺序极限学习机OS-ELM的python实现
stm32F103通过IIC读取MPU9250用DMP融合得到欧拉角
高速公路收费系统
jmeter 插件开发Sampler读取Excel文件并设置为变量
通过简单的matlab程序对硬币的数量和表示的数额进行分类,属于简单图像识别的应用.zip
Security Engineering: A Guide to Building Dependable Distributed Systems(2nd)
robocup 射门策略及实现算法
将Excel文件导入数据库(POI+Excel+MySQL+jsp页面导入)
settings简单那用法
分布式系统迁移Docker云案例分享
trans 翻译前端
股市分析代码所需要用的工具VC6.0之win10通用版
spring_boot项目骨架(前台+后台).zip
VC 透明窗口效果的电子标尺源代码.rar
新年快乐源码
CSS样式 (仿招聘网站)
ArcPad破解文件
开票助手(木西软件)
potplayer zune皮肤(第8版)
网上书城(jsp+servlet+javabean)
宜立方电商项目完整源码
正弦函数拟合createFit.m文件
网狐6603版源码帮助说明文档
unity 3.5.6 F4 win
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
JPEG的Matlab实现
超大规模集成电路先进光刻理论与应用.pdf
DirectX修复工具V4.1增强版
voc车辆检测数据集(已处理好,可直接训练)
中国地面气候资料日值数据集(V3.0)2010-2019.rar
多目标微粒子群算法MOPSO MATLAB代码
机械臂避障路径规划仿真 蚁群算法 三维路径规划
空间谱估计理论与算法------程序.rar
基于LSTM模型的股票预测模型_python
商用密码应用与安全性评估——霍炜.pdf
ChinaMeteorologicalDataHandler.R
Alternative A2DP Driver 1.0.5.1 无限制版
算法设计(中文版)和习题解答 Jon_Kleinberg著,张立昂译
基于ray filter的雷达点云地面过滤ROS节点
SSM外文文献和翻译(毕设论文精品).doc
最新下载
基于虚拟仪器的温度测量系统
索尼DSC-P10原理图和拆解维修手册
HomerPro-3.14.5_x64 微电网软件
2.kylin-kwre-crossover_21.1.3-2_arm64.deb
simpledlna:基于cling实现的Android投屏方案
UA-DETRAC BITVehicle车辆检测数据集
freetype-2.4.10.tar.bz2 安装包
antelope.zip
STM32F103+CC2500完整驱动(模拟SPI)
解决win10下SD卡不识别的读卡器驱动