| 查看: 1243 | 回复: 4 | ||
shumolynu金虫 (正式写手)
|
[求助]
谁帮我查查我的一篇中文文章是否被EI收录 非常感谢
|
|
作者：于海，詹婉荣，张瑞玲。 文章题目：模态逻辑S4的覆盖语义及其完备性 期刊：电子学报，2012,40(4)：745-750. 谁帮我查查这篇中文文章是否被EI收录 非常感谢。 |
回复此楼» 猜你喜欢
2026年国自然面上资助率
已经有19人回复
-
面上再次挂了，太难了，躺也躺不了，倦也卷不过，小学校之殇！
已经有20人回复
-
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有8人回复
-
售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急
已经有10人回复
-
售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急
已经有10人回复
-
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有7人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急
已经有10人回复
-
小木虫看见有人已经知道结果了
已经有20人回复
-
微信指数没变化，科研之友没阅读
已经有18人回复
-
基础研究怎么拉横向，学校到款任务越来越多，难以完成 拉横向，都有哪些途径啊
已经有8人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 帮我查查这篇被EI收录没 非常感谢
已经有12人回复
- 帮我查查这篇被EI收录没 非常感谢
已经有4人回复
- 帮查询文章是否ISTP，EI收录？
已经有5人回复
- 小女子求大家帮我查查2个杂志是不是收录在SCI
已经有7人回复
- 求助：帮忙查查这两篇会议文章是否被EI收录 谢谢
已经有3人回复
- 请问EI收录的刊源中文期刊，什么时候可以查到是否被EI收录了呀
已经有12人回复
- 求助：请帮我推荐ei收录但是非sci收录的期刊
已经有15人回复
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
shumolynu
金虫 (正式写手)
- 应助: 12 (小学生)
- 金币: 2172.7
- 散金: 1250
- 红花: 4
- 帖子: 671
- 在线: 303.5小时
- 虫号: 1188617
- 注册: 2011-01-12
- 性别: GG
- 专业: 泛函分析
5楼2012-09-17 22:55:27
10