| 查看: 1167 | 回复: 4 | ||
shumolynu金虫 (正式写手)
|
[求助]
谁帮我查查我的一篇中文文章是否被EI收录 非常感谢
|
|
作者：于海，詹婉荣，张瑞玲。 文章题目：模态逻辑S4的覆盖语义及其完备性 期刊：电子学报，2012,40(4)：745-750. 谁帮我查查这篇中文文章是否被EI收录 非常感谢。 |
回复此楼» 猜你喜欢
297，工科调剂?
已经有4人回复
-
恳请有学校收留
已经有7人回复
-
291求调剂
已经有9人回复
-
300求调剂
已经有11人回复
-
22专硕求调剂
已经有12人回复
-
材料相关专业344求调剂双非工科学校或课题组
已经有25人回复
-
急需调剂
已经有7人回复
-
求调剂
已经有10人回复
-
一志愿华中农业071010，320求调剂
已经有16人回复
-
304求调剂
已经有5人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 帮我查查这篇被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
