 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 5 | 1/1 | 返回列表 |
| 查看: 1148 | 回復(fù): 4 | |||
| 當(dāng)前只顯示滿足指定條件的回帖，點(diǎn)擊這里查看本話題的所有回帖 | |||
shumolynu金蟲 (正式寫手)
|
[求助]
誰幫我查查我的一篇中文文章是否被EI收錄 非常感謝
|
||
|
作者：于海，詹婉榮，張瑞玲。 文章題目：模態(tài)邏輯S4的覆蓋語義及其完備性 期刊：電子學(xué)報(bào)，2012,40(4)：745-750. 誰幫我查查這篇中文文章是否被EI收錄 非常感謝。 |
回復(fù)此樓» 猜你喜歡
309求調(diào)劑
已經(jīng)有3人回復(fù)
-
070300化學(xué)354求調(diào)劑
已經(jīng)有4人回復(fù)
-
330分求調(diào)劑
已經(jīng)有3人回復(fù)
-
299求調(diào)劑
已經(jīng)有8人回復(fù)
-
一志愿北京理工大學(xué)本科211材料工程294求調(diào)劑
已經(jīng)有6人回復(fù)
-
300求調(diào)劑，材料科學(xué)英一數(shù)二
已經(jīng)有8人回復(fù)
-
招收生物學(xué)/細(xì)胞生物學(xué)調(diào)劑
已經(jīng)有5人回復(fù)
-
070305高分子化學(xué)與物理 304分求調(diào)劑
已經(jīng)有7人回復(fù)
-
289求調(diào)劑
已經(jīng)有13人回復(fù)
-
一志愿哈爾濱工業(yè)大學(xué)材料與化工方向336分
已經(jīng)有9人回復(fù)
» 本主題相關(guān)價(jià)值貼推薦，對(duì)您同樣有幫助:
- 幫我查查這篇被EI收錄沒 非常感謝
已經(jīng)有12人回復(fù)
- 幫我查查這篇被EI收錄沒 非常感謝
已經(jīng)有4人回復(fù)
- 幫查詢文章是否ISTP，EI收錄？
已經(jīng)有5人回復(fù)
- 小女子求大家?guī)臀也椴?個(gè)雜志是不是收錄在SCI
已經(jīng)有7人回復(fù)
- 求助：幫忙查查這兩篇會(huì)議文章是否被EI收錄 謝謝
已經(jīng)有3人回復(fù)
- 請(qǐng)問EI收錄的刊源中文期刊，什么時(shí)候可以查到是否被EI收錄了呀
已經(jīng)有12人回復(fù)
- 求助：請(qǐng)幫我推薦ei收錄但是非sci收錄的期刊
已經(jīng)有15人回復(fù)
qianxuxu
金蟲 (小有名氣)
- 應(yīng)助: 19 (小學(xué)生)
- 金幣: 1123.2
- 散金: 820
- 紅花: 4
- 帖子: 243
- 在線: 324.7小時(shí)
- 蟲號(hào): 1428213
- 注冊(cè): 2011-10-05
- 性別: GG
- 專業(yè): 計(jì)算數(shù)學(xué)與科學(xué)工程計(jì)算
【答案】應(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
2樓2012-09-17 12:07:50
chenghu
木蟲 (著名寫手)
- 應(yīng)助: 96 (初中生)
- 金幣: 3660.2
- 紅花: 3
- 帖子: 2413
- 在線: 105.5小時(shí)
- 蟲號(hào): 1953959
- 注冊(cè): 2012-08-24
- 專業(yè): 電化學(xué)
3樓2012-09-17 12:23:49
shumolynu
金蟲 (正式寫手)
- 應(yīng)助: 12 (小學(xué)生)
- 金幣: 2172.7
- 散金: 1250
- 紅花: 4
- 帖子: 671
- 在線: 303.5小時(shí)
- 蟲號(hào): 1188617
- 注冊(cè): 2011-01-12
- 性別: GG
- 專業(yè): 泛函分析
5樓2012-09-17 22:55:27
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 一志愿北京化工大學(xué)材料與化工（085600）296求調(diào)劑 +12 | 稻妻小編 2026-03-26 | 12/600 |
|
|---|---|---|---|---|
|
[考研] 305求調(diào)劑 +7 | RuiFairyrui 2026-03-28 | 7/350 |
|
|
|
[考研] 356求調(diào)劑 +3 | gysy?s?a 2026-03-28 | 3/150 |
|
|
|
[考研] 壓國家一區(qū)線，求導(dǎo)師收留，有恩必謝！ +7 | 迷人的哈哈 2026-03-28 | 7/350 |
|
|
|
[考研] 329求調(diào)劑 +6 | 星野? 2026-03-26 | 6/300 |
|
|
|
[考研] 求調(diào)劑 +6 | 蘆lty 2026-03-25 | 7/350 |
|
|
|
[考研] 0703一志愿9，初試成績：338，四六級(jí)已過，有科研經(jīng)歷，求調(diào)劑！ +4 | Zuhui0306 2026-03-25 | 4/200 |
|
|
|
[考研] 283求調(diào)劑 +7 | A child 2026-03-28 | 7/350 |
|
|
|
[考研] 292求調(diào)劑 +14 | 鵝鵝鵝額額額額?/a> 2026-03-25 | 15/750 |
|
|
|
[考研] 求調(diào)劑 +4 | 零八# 2026-03-27 | 4/200 |
|
|
|
[考研] 材料292調(diào)劑 +12 | 橘頌思美人 2026-03-23 | 12/600 |
|
|
|
[考研] 287求調(diào)劑 +10 | land xuxu 2026-03-26 | 10/500 |
|
|
|
[考研] 求調(diào)劑 +6 | 林之夕 2026-03-24 | 6/300 |
|
|
|
[考研] 284求調(diào)劑 +11 | junqihahaha 2026-03-26 | 12/600 |
|
|
|
[考研] 327求調(diào)劑 +7 | prayer13 2026-03-23 | 7/350 |
|
|
|
[考研] 081200-11408-276學(xué)碩求調(diào)劑 +3 | 崔wj 2026-03-26 | 3/150 |
|
|
|
[考研] 271求調(diào)劑 +6 | 生如夏花… 2026-03-22 | 6/300 |
|
|
|
[考研] 網(wǎng)絡(luò)空間安全0839招調(diào)劑 +4 | w320357296 2026-03-25 | 6/300 |
|
|
|
[考研] 求調(diào)劑 +3 | 李李不服輸 2026-03-25 | 3/150 |
|
|
|
[考研] 調(diào)劑 +4 | 13853210211 2026-03-24 | 4/200 |
|