| 查看: 816 | 回复: 4 | ||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | ||
shumolynu金虫 (正式写手)
|
[求助]
谁帮我查查我的一篇中文文章是否被EI收录 非常感谢
|
|
|
作者：于海，詹婉荣，张瑞玲。 文章题目：模态逻辑S4的覆盖语义及其完备性 期刊：电子学报，2012,40(4)：745-750. 谁帮我查查这篇中文文章是否被EI收录 非常感谢。 |
回复此楼» 猜你喜欢
一审一个审稿人，小修，会怎么样呀？
已经有5人回复
-
特别资助审核状态
已经有6人回复
-
国自然青年基金只有一篇能第一标注，其他都是第二标注能结题吗？
已经有5人回复
-
杭州国企和浙江高校如何选择？
已经有20人回复
-
某系主任被同校教授举报包养情妇、长期嫖娼
已经有13人回复
-
发个文章，结果被某学报请的外审PUA了
已经有8人回复
-
估计今年青基又没戏
已经有8人回复
-
267求调剂
已经有3人回复
-
聚氨酯丙烯酸酯预聚体合成
已经有6人回复
-
298求调剂
已经有7人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 帮我查查这篇被EI收录没 非常感谢
已经有12人回复
- 帮我查查这篇被EI收录没 非常感谢
已经有4人回复
- 帮查询文章是否ISTP，EI收录？
已经有5人回复
- 小女子求大家帮我查查2个杂志是不是收录在SCI
已经有7人回复
- 求助：帮忙查查这两篇会议文章是否被EI收录 谢谢
已经有3人回复
- 请问EI收录的刊源中文期刊，什么时候可以查到是否被EI收录了呀
已经有12人回复
- 求助：请帮我推荐ei收录但是非sci收录的期刊
已经有15人回复
chenghu
木虫 (著名写手)
- 应助: 96 (初中生)
- 金币: 3660.2
- 红花: 3
- 帖子: 2413
- 在线: 105.5小时
- 虫号: 1953959
- 注册: 2012-08-24
- 专业: 电化学
3楼2012-09-17 12:23:49
2楼2012-09-17 12:07:50
qianxuxu
金虫 (小有名气)
- 应助: 19 (小学生)
- 金币: 1123.2
- 散金: 820
- 红花: 4
- 帖子: 243
- 在线: 323.6小时
- 虫号: 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 (小学生)
- 金币: 2523.6
- 散金: 1250
- 红花: 4
- 帖子: 654
- 在线: 297.8小时
- 虫号: 1188617
- 注册: 2011-01-12
- 性别: GG
- 专业: 泛函分析
5楼2012-09-17 22:55:27
10