论文降重
免费查重
推荐文章
基于Pi-Calculus的跨组织工作流建模方法
工作流建模
Pi-Calculus
跨组织流程
基于鱼群算法优化normalized cut的彩色图像分割方法
模糊C-均值聚类
归一化划分
鱼群优化算法
彩色图像分割
遥感图像污染监测分析的Grab-Cut算法实现
海洋污染
遥感图像
Grab-Cut算法
一种基于Multiway cut的多对象图像分割
图像分割
分水岭
图割
Multiway cut
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | R-calculus without the cut rule | ||
| 来源期刊 | 中国科学 | 学科 | 工学 |
| 关键词 | 演算 推理系统 可达性 逻辑性 自动化 | ||
| 年，卷（期） | zgkx_2011,（12） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 2530-2543 | |
| 页数 | 14页 | 分类号 | TP18 |
| 字数 | 语种 | 中文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2011(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
演算
推理系统
可达性
逻辑性
自动化
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
期刊文献
相关文献
推荐文献
