 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 5 | 1/1 | 返回列表 |
| 查看: 1127 | 回復(fù): 4 | ||
shumolynu金蟲 (正式寫手)
|
[求助]
誰幫我查查我的一篇中文文章是否被EI收錄 非常感謝
|
|
作者：于海，詹婉榮，張瑞玲。 文章題目：模態(tài)邏輯S4的覆蓋語義及其完備性 期刊：電子學(xué)報，2012,40(4)：745-750. 誰幫我查查這篇中文文章是否被EI收錄 非常感謝。 |
回復(fù)此樓» 猜你喜歡
一志愿北京化工大學(xué)070300 學(xué)碩336求調(diào)劑
已經(jīng)有8人回復(fù)
-
一志愿東華大學(xué)化學(xué)070300，求調(diào)劑
已經(jīng)有6人回復(fù)
-
318求調(diào)劑
已經(jīng)有7人回復(fù)
-
求調(diào)劑一志愿海大，0703化學(xué)學(xué)碩304分，有大創(chuàng)項(xiàng)目，四級已過
已經(jīng)有6人回復(fù)
-
一志愿武理材料工程348求調(diào)劑
已經(jīng)有5人回復(fù)
-
求調(diào)劑
已經(jīng)有7人回復(fù)
-
275求調(diào)劑
已經(jīng)有6人回復(fù)
-
招08考數(shù)學(xué)
已經(jīng)有7人回復(fù)
-
303求調(diào)劑
已經(jīng)有6人回復(fù)
-
306求調(diào)劑
已經(jīng)有4人回復(fù)
» 本主題相關(guān)價值貼推薦，對您同樣有幫助:
- 幫我查查這篇被EI收錄沒 非常感謝
已經(jīng)有12人回復(fù)
- 幫我查查這篇被EI收錄沒 非常感謝
已經(jīng)有4人回復(fù)
- 幫查詢文章是否ISTP，EI收錄？
已經(jīng)有5人回復(fù)
- 小女子求大家?guī)臀也椴?個雜志是不是收錄在SCI
已經(jīng)有7人回復(fù)
- 求助：幫忙查查這兩篇會議文章是否被EI收錄 謝謝
已經(jīng)有3人回復(fù)
- 請問EI收錄的刊源中文期刊，什么時候可以查到是否被EI收錄了呀
已經(jīng)有12人回復(fù)
- 求助：請幫我推薦ei收錄但是非sci收錄的期刊
已經(jīng)有15人回復(fù)
2樓2012-09-17 12:07:50
chenghu
木蟲 (著名寫手)
- 應(yīng)助: 96 (初中生)
- 金幣: 3660.2
- 紅花: 3
- 帖子: 2413
- 在線: 105.5小時
- 蟲號: 1953959
- 注冊: 2012-08-24
- 專業(yè): 電化學(xué)
3樓2012-09-17 12:23:49
qianxuxu
金蟲 (小有名氣)
- 應(yīng)助: 19 (小學(xué)生)
- 金幣: 1123.2
- 散金: 820
- 紅花: 4
- 帖子: 243
- 在線: 324.7小時
- 蟲號: 1428213
- 注冊: 2011-10-05
- 性別: GG
- 專業(yè): 計算數(shù)學(xué)與科學(xué)工程計算
【答案】應(yīng)助回帖
★ ★ ★ ★ ★ ★ ★ ★ ★ ★
感謝參與，應(yīng)助指數(shù) +1
shumolynu: 金幣+10, ★★★★★最佳答案, 非常謝謝 2012-09-17 22:34:03
感謝參與，應(yīng)助指數(shù) +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
金蟲 (正式寫手)
- 應(yīng)助: 12 (小學(xué)生)
- 金幣: 2172.7
- 散金: 1250
- 紅花: 4
- 帖子: 671
- 在線: 303.5小時
- 蟲號: 1188617
- 注冊: 2011-01-12
- 性別: GG
- 專業(yè): 泛函分析
5樓2012-09-17 22:55:27
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 shumolynu 的主題更新
| 5 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 275求調(diào)劑 +5 | shansx 2026-03-22 | 6/300 |
|
|---|---|---|---|---|
|
[考研] 招08考數(shù)學(xué) +3 | laoshidan 2026-03-20 | 7/350 |
|
|
|
[考研]
 一志愿070300浙大化學(xué)358分，求調(diào)劑！
+3
|
酥酥魚.. 2026-03-21 | 3/150 |
|
|
|
[考研] 求調(diào)劑 +3 | 13341 2026-03-20 | 3/150 |
|
|
|
[考研] 求調(diào)劑 +3 | 白QF 2026-03-21 | 3/150 |
|
|
|
[考研] 南昌大學(xué)材料專碩311分求調(diào)劑 +6 | 77chaselx 2026-03-20 | 6/300 |
|
|
|
[考研] 一志愿武理材料305分求調(diào)劑 +6 | 想上岸的鯉魚 2026-03-18 | 7/350 |
|
|
|
[考研]
 271材料工程求調(diào)劑
+8
|
.6lL 2026-03-18 | 8/400 |
|
|
|
[考研] 一志愿武漢理工材料工程專碩調(diào)劑 +9 | Doleres 2026-03-19 | 9/450 |
|
|
|
[考研] 085600材料與化工 +8 | 安全上岸！ 2026-03-16 | 8/400 |
|
|
|
[考研] 290求調(diào)劑 +7 | ^O^乜 2026-03-19 | 7/350 |
|
|
|
[考研] 一志愿西南交通 專碩 材料355 本科雙非 求調(diào)劑 +5 | 西南交通專材355 2026-03-19 | 5/250 |
|
|
|
[考研] 295材料求調(diào)劑，一志愿武漢理工085601專碩 +5 | Charlieyq 2026-03-19 | 5/250 |
|
|
|
[考研] 環(huán)境工程調(diào)劑 +9 | 大可digkids 2026-03-16 | 9/450 |
|
|
|
[考研] 081700化工學(xué)碩調(diào)劑 +3 | 【1】 2026-03-16 | 3/150 |
|
|
|
[考研] 328求調(diào)劑，英語六級551，有科研經(jīng)歷 +4 | 生物工程調(diào)劑 2026-03-16 | 12/600 |
|
|
|
[碩博家園] 湖北工業(yè)大學(xué) 生命科學(xué)與健康學(xué)院-課題組招收2026級食品/生物方向碩士 +3 | 1喜春8 2026-03-17 | 5/250 |
|
|
|
[考研] 308求調(diào)劑 +4 | 是Lupa啊 2026-03-16 | 4/200 |
|
|
|
[考研]
11408 一志愿西電，277分求調(diào)劑
+3
|
zhouzhen654 2026-03-16 | 3/150 |
|
|
|
[考研] 070303 總分349求調(diào)劑 +3 | LJY9966 2026-03-15 | 5/250 |
|