 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 5 | 1/1 | 返回列表 |
| 查看: 1146 | 回復(fù): 4 | ||
| 當(dāng)前只顯示滿足指定條件的回帖，點擊這里查看本話題的所有回帖 | ||
shumolynu金蟲 (正式寫手)
|
[求助]
誰幫我查查我的一篇中文文章是否被EI收錄 非常感謝
|
|
|
作者：于海，詹婉榮，張瑞玲。 文章題目：模態(tài)邏輯S4的覆蓋語義及其完備性 期刊：電子學(xué)報，2012,40(4)：745-750. 誰幫我查查這篇中文文章是否被EI收錄 非常感謝。 |
回復(fù)此樓» 猜你喜歡
311（085601）求調(diào)劑
已經(jīng)有4人回復(fù)
-
305求調(diào)劑
已經(jīng)有4人回復(fù)
-
一志愿北化085600材料專碩275|有文章專利｜求調(diào)劑
已經(jīng)有7人回復(fù)
-
一志愿華理，數(shù)一英一285求A區(qū)調(diào)劑
已經(jīng)有12人回復(fù)
-
289求調(diào)劑
已經(jīng)有11人回復(fù)
-
食品工程專碩一志愿中海洋309求調(diào)劑
已經(jīng)有7人回復(fù)
-
生物學(xué)學(xué)碩，一志愿湖南大學(xué)，初試成績338
已經(jīng)有6人回復(fù)
-
321求調(diào)劑
已經(jīng)有7人回復(fù)
-
343求調(diào)劑
已經(jīng)有4人回復(fù)
-
本科新能源科學(xué)與工程，一志愿華理能動285求調(diào)劑
已經(jīng)有6人回復(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ù)
chenghu
木蟲 (著名寫手)
- 應(yīng)助: 96 (初中生)
- 金幣: 3660.2
- 紅花: 3
- 帖子: 2413
- 在線: 105.5小時
- 蟲號: 1953959
- 注冊: 2012-08-24
- 專業(yè): 電化學(xué)
3樓2012-09-17 12:23:49
2樓2012-09-17 12:07:50
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
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 【求調(diào)劑】085601材料工程專碩 | 總分272 | +6 | 腳滑的守法公民 2026-03-27 | 6/300 |
|
|---|---|---|---|---|
|
|
[材料工程] 一志愿C9材料與化工專業(yè)總分300求調(diào)劑 +8 | 曼111 2026-03-24 | 9/450 |
|
|
[考研] 291求調(diào)劑 +6 | HanBeiNingZC 2026-03-24 | 6/300 |
|
|
|
[考研] 352分 化工與材料 +5 | 海納百川Ly 2026-03-27 | 5/250 |
|
|
|
[考研] 考研調(diào)劑 +4 | Sanmu-124 2026-03-26 | 4/200 |
|
|
|
[考研] 一志愿南師大0703化學(xué) 275求調(diào)劑 +4 | Ripcord上岸 2026-03-27 | 4/200 |
|
|
|
[考研] 287求調(diào)劑 +10 | land xuxu 2026-03-26 | 10/500 |
|
|
|
[考研] 08開頭275求調(diào)劑 +4 | 拉誰不重要 2026-03-26 | 4/200 |
|
|
|
[考研] 一志愿華東理工大學(xué)081700，初試分數(shù)271 +6 | kotoko_ik 2026-03-23 | 7/350 |
|
|
|
[考研] 0703化學(xué)338求調(diào)劑！ +6 | Zuhui0306 2026-03-26 | 7/350 |
|
|
|
[考研] 316求調(diào)劑 +5 | 江辭666 2026-03-26 | 5/250 |
|
|
|
[考研] 317求調(diào)劑 +7 | 蛋黃咸肉粽 2026-03-26 | 7/350 |
|
|
|
[考研] 325求調(diào)劑 +5 | 李嘉圖·S·路 2026-03-23 | 5/250 |
|
|
|
[考研] 289求調(diào)劑 +17 | 碩星赴 2026-03-23 | 17/850 |
|
|
|
[考研] 085600 材料與化工 329分求調(diào)劑 +9 | Mr. Z 2026-03-25 | 9/450 |
|
|
|
[考研] 332求調(diào)劑 +6 | 032500 2026-03-25 | 6/300 |
|
|
|
[考研] 302求調(diào)劑 +4 | 錦衣衛(wèi)藤椒 2026-03-25 | 4/200 |
|
|
|
[考研] 一志愿吉大化學(xué)322求調(diào)劑 +4 | 17501029541 2026-03-23 | 6/300 |
|
|
|
[考研] 275求調(diào)劑 +6 | shansx 2026-03-22 | 8/400 |
|
|
|
[考研] 求調(diào)劑 +5 | Zhangbod 2026-03-21 | 7/350 |
|