------------------------------------------------------------------------
This is the project README file. Here, you should describe your project.
Tell the reader (someone who does not know anything about this project)
all he/she needs to know. The comments should usually include at least:
------------------------------------------------------------------------
PROJECT TITLE:
PURPOSE OF PROJECT:
VERSION or DATE:
HOW TO START THIS PROJECT:
AUTHORS:
USER INSTRUCTIONS:
没有合适的资源?快使用搜索试试~ 我知道了~
Rough-Set_src_1.0.zip_Modal Logic_Rough java_Tableaux System_dy
共167个文件
class:32个
html:30个
java~:28个
1.该资源内容由用户上传,如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
版权申诉
0 下载量 130 浏览量
2022-09-19
18:34:40
上传
评论
收藏 2.2MB ZIP 举报
温馨提示
Temporal Rough Logic is a combination of both Normal and Temporal Modal Logics. TRL formulas are interpreted over Dynamic Approximation Spaces. For checking validiy in TRL a Prefixed Tableaux System was proposed by Md.Aquil Khan and Dr.M.Banerjee in
资源推荐
资源详情
资源评论
收起资源包目录
Rough-Set_src_1.0.zip_Modal Logic_Rough java_Tableaux System_dy (167个子文件)
package.bluej 6KB
package.bluej 6KB
Term.class 15KB
Terminal.class 9KB
Terminal.class 8KB
Set.class 6KB
Set.class 6KB
InfoSystem.class 5KB
GUI.class 4KB
GUI.class 4KB
RoughSet.class 4KB
graph_dot.class 4KB
graph_dot.class 4KB
RoughSet.class 4KB
InfoSystem.class 3KB
screen.class 3KB
screen.class 3KB
test_22_2.class 2KB
test_22_2.class 2KB
test_rough.class 2KB
Formula.class 2KB
RTLModel.class 2KB
Table.class 2KB
Table.class 2KB
ApproxSpace.class 2KB
ApproxSpace.class 2KB
DisMat.class 1KB
test_all.class 1KB
test_all.class 1KB
test_logic.class 1KB
test_infs.class 972B
SimpleTableDemo$2.class 513B
SimpleTableDemo$1.class 513B
screen$1.class 497B
.classpath 226B
stylesheet.css 1KB
stylesheet.css 1KB
graphspace.dot 5KB
graphspace.dot 5KB
graphrset.dot 4KB
graphrset.dot 4KB
graph.dot 3KB
graph.dot 3KB
graphrset.dot 1KB
graphspace.dot 292B
graphspace.dot~ 290B
graphrset.gif 12KB
graphrset.gif 12KB
inherit.gif 57B
inherit.gif 57B
screen.html 85KB
screen.html 85KB
Table.html 78KB
Table.html 78KB
Set.html 20KB
Set.html 20KB
RoughSet.html 14KB
RoughSet.html 14KB
InfoSystem.html 9KB
InfoSystem.html 9KB
ApproxSpace.html 9KB
ApproxSpace.html 9KB
test_all.html 6KB
test_all.html 6KB
graph_dot.html 5KB
graph_dot.html 5KB
package-summary.html 2KB
package-summary.html 2KB
package-frame.html 2KB
package-frame.html 2KB
allclasses-frame.html 1KB
allclasses-frame.html 1KB
allclasses-noframe.html 1KB
allclasses-noframe.html 1KB
index.html 1KB
index.html 1KB
constant-values.html 812B
constant-values.html 812B
serialized-form.html 750B
serialized-form.html 750B
Term.java 17KB
Terminal.java 11KB
Set.java 7KB
InfoSystem.java 5KB
RoughSet.java 4KB
graph_dot.java 3KB
GUI.java 3KB
screen.java 2KB
test_infs.java 2KB
test_22_2.java 2KB
test_all.java 2KB
ApproxSpace.java 2KB
Table.java 1KB
test_rough.java 1KB
RTLModel.java 1KB
DisMat.java 903B
Formula.java 836B
test_logic.java 678B
Terminal.java#backup 9KB
Terminal.java#backup 9KB
共 167 条
- 1
- 2
资源评论
我虽横行却不霸道
- 粉丝: 72
- 资源: 1万+
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- IMG_5905.PNG
- Cyclone Version 9.51
- 高性能量化回测工具 hikyuu 2.0.3 python 3.12 windows 安装包
- 省级城乡居民基本养老保险情况数据集(2010-2022年).xlsx
- 舞队填写版.cpp
- 基于BP神经网络的多输入单输出回归预测.zip
- 高性能量化回测工具 hikyuu 2.0.3 python 3.9 windows 安装包
- 省级城镇职工基本养老保险情况2000-2022年.xlsx
- 高性能量化回测工具 hikyuu 2.0.3 python 3.10 windows 安装包
- 算法部署-使用OpenVINO+C#部署PaddleOCR字符识别算法-项目源码-优质项目实战.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功