| 查看: 1137 | 回复: 4 | ||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | ||
shumolynu金虫 (正式写手)
|
[求助]
谁帮我查查我的一篇中文文章是否被EI收录 非常感谢
|
|
|
作者：于海，詹婉荣，张瑞玲。 文章题目：模态逻辑S4的覆盖语义及其完备性 期刊：电子学报，2012,40(4)：745-750. 谁帮我查查这篇中文文章是否被EI收录 非常感谢。 |
回复此楼» 猜你喜欢
284求调剂
已经有12人回复
-
求调剂，一志愿:南京航空航天大学大学 ，080500材料科学与工程学硕，总分289分
已经有6人回复
-
289材料与化工（085600）B区求调剂
已经有5人回复
-
B区考研调剂
已经有4人回复
-
0854电子信息求调剂
已经有8人回复
-
292求调剂
已经有3人回复
-
340求调剂
已经有5人回复
-
生物学学硕求调剂
已经有10人回复
-
上海电力大学材料防护与新材料重点实验室招收调剂研究生（材料、化学、电化学，环境）
已经有4人回复
-
材料学求调剂
已经有6人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 帮我查查这篇被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.2
- 散金: 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
