 |
 |
 |
| 24小時(shí)熱門版塊排行榜 |
- >論壇更新日志 (921)
- >考研 (89)
- >導(dǎo)師招生 (53)
- >蟲(chóng)友互識(shí) (49)
- >基金申請(qǐng) (25)
- >休閑灌水 (14)
- >碩博家園 (9)
- >經(jīng)濟(jì)學(xué) (6)
- >博后之家 (6)
- >文獻(xiàn)求助 (6)
- >教師之家 (5)
- >微米和納米 (4)
- >考博 (4)
- >論文投稿 (4)
- >找工作 (3)
- >公派出國(guó) (2)
 |
 |
 |
||
 |
 |
 |
 |
 |
| 5 | 1/1 | 返回列表 |
| 查看: 1126 | 回復(fù): 4 | ||
shumolynu金蟲(chóng) (正式寫手)
|
[求助]
誰(shuí)幫我查查我的一篇中文文章是否被EI收錄 非常感謝
|
|
作者：于海，詹婉榮，張瑞玲。 文章題目：模態(tài)邏輯S4的覆蓋語(yǔ)義及其完備性 期刊：電子學(xué)報(bào)，2012,40(4)：745-750. 誰(shuí)幫我查查這篇中文文章是否被EI收錄 非常感謝。 |
回復(fù)此樓» 猜你喜歡
本人考085602 化學(xué)工程 專碩
已經(jīng)有23人回復(fù)
-
求調(diào)劑院校信息
已經(jīng)有4人回復(fù)
-
085600材料與化工306
已經(jīng)有4人回復(fù)
-
286求調(diào)劑
已經(jīng)有10人回復(fù)
-
328求調(diào)劑，英語(yǔ)六級(jí)551，有科研經(jīng)歷
已經(jīng)有9人回復(fù)
-
一志愿北京化工大學(xué)070300 學(xué)碩336求調(diào)劑
已經(jīng)有4人回復(fù)
-
286分人工智能專業(yè)請(qǐng)求調(diào)劑愿意跨考！
已經(jīng)有8人回復(fù)
-
資源與環(huán)境 調(diào)劑申請(qǐng)(333分)
已經(jīng)有5人回復(fù)
-
280求調(diào)劑
已經(jīng)有12人回復(fù)
-
269專碩求調(diào)劑
已經(jīng)有5人回復(fù)
» 本主題相關(guān)價(jià)值貼推薦，對(duì)您同樣有幫助:
- 幫我查查這篇被EI收錄沒(méi) 非常感謝
已經(jīng)有12人回復(fù)
- 幫我查查這篇被EI收錄沒(méi) 非常感謝
已經(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)問(wèn)EI收錄的刊源中文期刊，什么時(shí)候可以查到是否被EI收錄了呀
已經(jīng)有12人回復(fù)
- 求助：請(qǐng)幫我推薦ei收錄但是非sci收錄的期刊
已經(jīng)有15人回復(fù)
2樓2012-09-17 12:07:50
chenghu
木蟲(chóng) (著名寫手)
- 應(yīng)助: 96 (初中生)
- 金幣: 3660.2
- 紅花: 3
- 帖子: 2413
- 在線: 105.5小時(shí)
- 蟲(chóng)號(hào): 1953959
- 注冊(cè): 2012-08-24
- 專業(yè): 電化學(xué)
3樓2012-09-17 12:23:49
qianxuxu
金蟲(chóng) (小有名氣)
- 應(yīng)助: 19 (小學(xué)生)
- 金幣: 1123.2
- 散金: 820
- 紅花: 4
- 帖子: 243
- 在線: 324.7小時(shí)
- 蟲(chóng)號(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
shumolynu
金蟲(chóng) (正式寫手)
- 應(yīng)助: 12 (小學(xué)生)
- 金幣: 2172.7
- 散金: 1250
- 紅花: 4
- 帖子: 671
- 在線: 303.5小時(shí)
- 蟲(chóng)號(hào): 1188617
- 注冊(cè): 2011-01-12
- 性別: GG
- 專業(yè): 泛函分析
5樓2012-09-17 22:55:27
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 shumolynu 的主題更新
| 5 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 085600材料與化工306 +4 | z1z2z3879 2026-03-21 | 4/200 |
|
|---|---|---|---|---|
|
|
[考研] 286求調(diào)劑 +10 | Faune 2026-03-21 | 10/500 |
|
|
[考研] 求調(diào)劑 +3 | 13341 2026-03-20 | 3/150 |
|
|
|
[考研] 求助 +5 | 夢(mèng)里的無(wú)言 2026-03-21 | 6/300 |
|
|
|
[考研] 南昌大學(xué)材料專碩311分求調(diào)劑 +6 | 77chaselx 2026-03-20 | 6/300 |
|
|
|
[考研] 08工科 320總分 求調(diào)劑 +6 | 梨花珞晚風(fēng) 2026-03-17 | 6/300 |
|
|
|
[考研] 295求調(diào)劑 +4 | 一志愿京區(qū)211 2026-03-18 | 6/300 |
|
|
|
[考研] 288求調(diào)劑 +16 | 于海海海海 2026-03-19 | 16/800 |
|
|
|
[考研] 350求調(diào)劑 +5 | weudhdk 2026-03-19 | 5/250 |
|
|
|
[考研] 260求調(diào)劑 +3 | 朱芷琳 2026-03-20 | 3/150 |
|
|
|
[考研] 一志愿西安交通大學(xué) 學(xué)碩 354求調(diào)劑211或者雙一流 +3 | 我想要讀研究生 2026-03-20 | 3/150 |
|
|
|
[考研] 353求調(diào)劑 +3 | 拉鉤不許變 2026-03-20 | 3/150 |
|
|
|
[考研] 261求B區(qū)調(diào)劑，科研經(jīng)歷豐富 +3 | 牛奶很忙 2026-03-20 | 4/200 |
|
|
|
[考研] 工科材料085601 279求調(diào)劑 +7 | 困于星晨 2026-03-17 | 9/450 |
|
|
|
[考研] 298-一志愿中國(guó)農(nóng)業(yè)大學(xué)-求調(diào)劑 +9 | 手機(jī)用戶 2026-03-17 | 9/450 |
|
|
|
[考研] 招收調(diào)劑碩士 +4 | lidianxing 2026-03-19 | 12/600 |
|
|
|
[考研] 材料學(xué)碩318求調(diào)劑 +5 | February_Feb 2026-03-19 | 5/250 |
|
|
|
[考研] 一志愿南京大學(xué)，080500材料科學(xué)與工程，調(diào)劑 +4 | Jy? 2026-03-16 | 4/200 |
|
|
|
[考研] 302求調(diào)劑 +4 | 小賈同學(xué)123 2026-03-15 | 8/400 |
|
|
|
[考研] 321求調(diào)劑 +5 | 大米飯！ 2026-03-15 | 5/250 |
|