只为小站
首页
域名查询
文件下载
登录
首页
一阶谓词逻辑归结原理代码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))
文件下载
立即下载
评论信息
其他资源
Stm32+AS608指纹模块串口通讯
PMSM永磁同步电机FOC无感控制——滑模观测器+PLL锁相环模型
Android 实现短信接收监听--(短信动态权限添加)
sift_kmeans_svm
Unity3D跳舞的线源码
ASP.NET医药进销存管理系统(医药库存管理)(ASP.NET)(程序,毕业论文,外文翻译,文献综述)
MCGS 按钮美图
Office工具栏图标(超全)
pinpoint的hbase初始化脚本hbase-create.hbase
一种基于卡尔曼滤波修正的LRP信道预测算法
HIS方案书 (1) 1.docx
计算机操作系统思维导图
推荐系统的总结——持续更新.md
ABAP_WebDynpro开发(中文).pdf
数据库置疑修复工具
Principles of Robot Motion Theory, Algorithms, and Implementations
WindriverPCIE驱动
多层水平介质.m
CC8531无线音频ic应用
c#计算器实现 仿windows计算器
清华日照分析软件
基于遗传算法的机器人路径规划MATLAB源码
基于js读取gif文件,获取gif时长及各帧
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
SSM外文文献和翻译(毕设论文精品).doc
JPEG的Matlab实现
基于yolov4-keras的抽烟检测(源码+数据集)
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
IEEE 39节点系统的Simulink模型
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
Vivado永久激活license(亲测可用)包(搜集的全部可用LICENSE)
csma/ca和csma/cd的matlab仿真源代码带有详细的注释
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
离散时间信号处理第三版课后习题答案
多机器人编队及避障仿真算法.zip
随机森林用于分类matlab代码
2019西门子杯六部十层电梯群控参考程序.zip
拾荒者.exe同时ID扫描器IP扫描器
得到品控手册7.0.pdf
最新下载
清华大学电子系现代电磁理论作业3
facedata.pck
Frontline13.2-17.11.15307.15525
易语言客户端源码,易语言服务端源码,易语言多线程响应事件
掌讯方案YT9213AJ 最新刷机固件包
基于dsp的cpld源代码
Vcap2820 sdk摄像头SDK
AutoCAD ObjectARX(VC)开发基础与实例教程 2014新版 著作 张帆(含源代码光盘镜像)
app自动化+Appium-Server-GUI-windows-1.22.2
DynamicWebTWAIN13.3Trial.exe安装包