只为小站
首页
域名查询
文件下载
登录
首页
一阶谓词逻辑归结原理代码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))
文件下载
立即下载
评论信息
其他资源
IEEE32位浮点数转换工具(含源码)
jlink_v9固件资料
NiceVieoPlayer:IjkPlayerMediaPlayer + TextureView,支持列表,完美切换全屏,小窗口的Android视频播放器-源码
wav文件用matlab叠加噪声并消除噪声
一个Java图书馆信息管理系统.rar
mysql连接包mysql-connector-java-5.1.27.jar
C++实现学生信息管理系统
数据库系统概念中文第六版课后答案
H3C WA2620i-AGN 胖AP设置
自然语言理解课件. 宗成庆版
gif4j.jar破解版
VC++连接STK
Datawindow.Net2.5安装包已上传云亲测可用
安防VISIO图库.vsd
天津工业大学《jsp》试题.pdf
数字逻辑电路.zip
JRE-8u251-win-64.zip
DM8系统管理员手册.pdf
程序的链接和装入
信息系统项目管理师考试辅导(针对上午考试)第二版
物联网虚拟仿真实验教学中心平台建设
主成分分析法 matlab源码 GUI
经典面试经验—中国移动面试大总结
VC++游戏编程基础(有书签)
VC++6.0绿色版和番茄助手
基于Java微信接口
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
全国河流水文站坐标.xls
IBM CPLEX 12.10 学术版 mac操作系统安装包
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
超大规模集成电路先进光刻理论与应用.pdf
Elsevier爱思唯尔的word模板.zip
JPEG的Matlab实现
EEupdate_5.35.12.0 win10下修改intel网卡mac
MTALAB NSGA2算法
基于Matlab的IEEE14节点潮流计算.zip
先进PID控制Matlab仿真第4版-PDF+代码.zip
Autojs 例子 源码 1600多个教程源码
DirectX修复工具V4.1增强版
2019和2021年华为单板通用硬件笔试题及答案
scratch版 我的世界.sb2
RNN-LSTM卷积神经网络Matlab实现
最新下载
mcu8051ide_开源的8051单片机开发环境
Taylor & Francis LaTeX template ,LaTeX模版, 参考文献为APA格式
考试监考系统
非线性晶体模拟软件SNLO-v75
西玛音乐宝盒(DSP)调音软件(含设置教程).rar
湖南大学C语言题库
基于FPGA的移动目标检测(帧差法)
杀戮尖塔反编译资源,bgm,音效,图片
工程测量数据处理通用软件GSP
运行在windows7 64位下的autocad R14 汉化绿色版