论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 科教文艺期刊 \
- 科研管理期刊 \
- 国家科学评论(英文版)期刊 \
FEATURED INSTITUTION
FEATURED INSTITUTION
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
方程逻辑Institution理论及其性质
程序规程
抽象模型论
方程逻辑可满足性条件
范畴论
适用于程序规范说明的Institution范畴的完备性研究
程序设计语言
程序规范说明
模型论
范畴论
Institution 框架下的结构化标记共变逆变模拟
Institution
结构化标记
模态转换系统
共变
逆变模拟
最小阻力功路径方程的Lei群分类及其对称性化简
最小阻力功
Lie群理论
群分类
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | FEATURED INSTITUTION | ||
| 来源期刊 | 国家科学评论（英文版） | 学科 | |
| 关键词 | |||
| 年，卷（期） | 2019,（4） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 843-853 | |
| 页数 | 11页 | 分类号 | |
| 字数 | 语种 | 英文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2019(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
引文网络交叉学科
相关学者/机构
期刊影响力
国家科学评论(英文版)
主办单位：
中国科技出版传媒股份有限公司
出版周期：
月刊
ISSN：
2095-5138
CN：
10-1088/N
开本：
大16开
出版地：
北京市
邮发代号：
80-671
创刊时间：
2014
语种：
eng
出版文献量（篇）
773
总下载数（次）
0
总被引数（次）
431
期刊文献
相关文献
推荐文献
