| 查看: 1265 | 回复: 4 | ||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | ||
shumolynu金虫 (正式写手)
|
[求助]
谁帮我查查我的一篇中文文章是否被EI收录 非常感谢
|
|
|
作者：于海，詹婉荣，张瑞玲。 文章题目：模态逻辑S4的覆盖语义及其完备性 期刊：电子学报，2012,40(4)：745-750. 谁帮我查查这篇中文文章是否被EI收录 非常感谢。 |
回复此楼» 猜你喜欢
什么时候开奖？
已经有11人回复
-
范进中举一文的中心思想
已经有6人回复
-
建议基金发布提前给出明确的时间点
已经有14人回复
-
2026国自然函评费到账
已经有17人回复
-
让我中一个面上吧！
已经有15人回复
-
2026年的国家社科基金项目通讯评审的新规则与新动向、新挑战
已经有5人回复
-
跳槽后在研项目怎么办？
已经有10人回复
-
今天放榜吗？
已经有16人回复
-
93BebMhtakh前后11位开头都是大写
已经有8人回复
-
只有每年这种时候来逛逛小木虫
已经有26人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 帮我查查这篇被EI收录没 非常感谢
已经有12人回复
- 帮我查查这篇被EI收录没 非常感谢
已经有4人回复
- 帮查询文章是否ISTP，EI收录？
已经有5人回复
- 小女子求大家帮我查查2个杂志是不是收录在SCI
已经有7人回复
- 求助：帮忙查查这两篇会议文章是否被EI收录 谢谢
已经有3人回复
- 请问EI收录的刊源中文期刊，什么时候可以查到是否被EI收录了呀
已经有12人回复
- 求助：请帮我推荐ei收录但是非sci收录的期刊
已经有15人回复
shumolynu
金虫 (正式写手)
- 应助: 12 (小学生)
- 金币: 2172.7
- 散金: 1250
- 红花: 4
- 帖子: 671
- 在线: 303.5小时
- 虫号: 1188617
- 注册: 2011-01-12
- 性别: GG
- 专业: 泛函分析
5楼2012-09-17 22:55:27
2楼2012-09-17 12:07:50
chenghu
木虫 (著名写手)
- 应助: 96 (初中生)
- 金币: 3660.2
- 红花: 3
- 帖子: 2413
- 在线: 105.5小时
- 虫号: 1953959
- 注册: 2012-08-24
- 专业: 电化学
3楼2012-09-17 12:23:49
qianxuxu
金虫 (小有名气)
- 应助: 19 (小学生)
- 金币: 1123.7
- 散金: 820
- 红花: 4
- 帖子: 243
- 在线: 324.7小时
- 虫号: 1428213
- 注册: 2011-10-05
- 性别: GG
- 专业: 计算数学与科学工程计算
【答案】应助回帖
★ ★ ★ ★ ★ ★ ★ ★ ★ ★
感谢参与，应助指数 +1
shumolynu: 金币+10, ★★★★★最佳答案, 非常谢谢 2012-09-17 22:34:03
感谢参与，应助指数 +1
shumolynu: 金币+10, ★★★★★最佳答案, 非常谢谢 2012-09-17 22:34:03
|
把你查了，确定检索了 1. Accession number: 20122615179687 Title: Covering semantics of modal logic S4 and its completeness Authors: Yu, Hai1 ; Zhan, Wan-Rong1 ; Zhang, Rui-Ling2 Author affiliation: 1 Academy of Mathematics and Science, Luoyang Normal College, Luoyang, Henan 471022, China 2 Academy of Information Technology, Luoyang Normal College, Luoyang, Henan 471022, China Corresponding author: Zhang, R.-L. (ruilingzhang@163.com) Source title: Tien Tzu Hsueh Pao/Acta Electronica Sinica Abbreviated source title: Tien Tzu Hsueh Pao Volume: 40 Issue: 4 Issue date: April 2012 Publication year: 2012 Pages: 745-750 Language: Chinese ISSN: 03722112 CODEN: TTHPAG Document type: Journal article (JA) Publisher: Chinese Institute of Electronics, P.O. Box 165, Beijing, 100036, China Abstract: Based on the sixth type of covering-based rough set model, covering semantics of modal logic S4 is proposed. The reliability and completeness theorems with respect to covering semantics are proved by means of the relationships between covering model and Kripke model. Moreover, the relationships between covering semantics and Alexandrov topological semantics are also discussed. It is proved that covering semantics and Alexandrov topological semantics are harmonious and consistent. Number of references: 18 Main heading: Semantics Controlled terms: Formal logic - Topology Uncontrolled terms: Completeness - Completeness theorems - Covering model - Covering semsntics - Kripke model - Kripke semantics - Modal logic - Rough set models Classification code: 721.1 Computer Theory, Includes Formal Logic, Automata Theory, Switching Theory, Programming Theory - 903.2 Information Dissemination - 921.4 Combinatorial Mathematics, Includes Graph Theory, Set Theory DOI: 10.3969/j.issn.0372-2112.2012.04.020 Database: Compendex Compilation and indexing terms, © 2012 Elsevier Inc. |
4楼2012-09-17 12:32:58
40