 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 5 | 1/1 | 返回列表 |
| 查看: 1154 | 回復(fù): 4 | ||
| 當(dāng)前只顯示滿足指定條件的回帖，點(diǎn)擊這里查看本話題的所有回帖 | ||
shumolynu金蟲 (正式寫手)
|
[求助]
誰(shuí)幫我查查我的一篇中文文章是否被EI收錄 非常感謝
|
|
|
作者：于海，詹婉榮，張瑞玲。 文章題目：模態(tài)邏輯S4的覆蓋語(yǔ)義及其完備性 期刊：電子學(xué)報(bào)，2012,40(4)：745-750. 誰(shuí)幫我查查這篇中文文章是否被EI收錄 非常感謝。 |
回復(fù)此樓» 猜你喜歡
283分材料與化工求調(diào)劑
已經(jīng)有12人回復(fù)
-
349求調(diào)劑
已經(jīng)有7人回復(fù)
-
296材料專碩求調(diào)劑
已經(jīng)有11人回復(fù)
-
一志愿上海海洋大學(xué)083200食品學(xué)碩，求調(diào)劑，接受其他專業(yè)
已經(jīng)有7人回復(fù)
-
材料340分調(diào)劑
已經(jīng)有8人回復(fù)
-
316求調(diào)劑
已經(jīng)有13人回復(fù)
-
321求調(diào)劑
已經(jīng)有11人回復(fù)
-
315求調(diào)劑
已經(jīng)有6人回復(fù)
-
330分求調(diào)劑
已經(jīng)有13人回復(fù)
-
化工調(diào)劑303分，過(guò)四級(jí)
已經(jīng)有9人回復(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ù)
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
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
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
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 求調(diào)劑 +7 | Aniyaio 2026-04-02 | 7/350 |
|
|---|---|---|---|---|
|
[考研] 材料專碩322分 +9 | 哈哈哈吼吼吼哈 2026-04-02 | 9/450 |
|
|
|
[考研] 一志愿復(fù)旦材料，英一專碩，總分357調(diào)劑 +3 | 1050389037 2026-04-02 | 4/200 |
|
|
|
[考研] 266分，一志愿電氣工程，本科材料，求材料專業(yè)調(diào)劑 +4 | 哇呼哼呼哼 2026-04-02 | 4/200 |
|
|
|
[考研] 求調(diào)劑推薦 +3 | 南山南@ 2026-04-01 | 3/150 |
|
|
|
[考研] 材料工程322分 +8 | 哈哈哈吼吼吼哈 2026-04-01 | 8/400 |
|
|
|
[考研] 計(jì)算機(jī)265跨調(diào)環(huán)境 +5 | Yumeng_6 2026-03-27 | 5/250 |
|
|
|
[考研] 一志愿北交大材料工程總分358 +8 | cs0106 2026-04-01 | 9/450 |
|
|
|
[考研] 各位老師好，我的一志愿為北京科技大學(xué)085601材料專碩 +13 | Koxui 2026-03-28 | 13/650 |
|
|
|
[考博] 26年申博 +3 | staryer 2026-03-30 | 4/200 |
|
|
|
[考研] 0856，269分求調(diào)劑 +8 | 有學(xué)上就行求求?/a> 2026-03-30 | 11/550 |
|
|
|
[考研] 318求調(diào)劑 +8 | 七憶77 2026-04-01 | 8/400 |
|
|
|
[考研] 0855機(jī)械初試280求調(diào)劑 +3 | kazenotori 2026-03-31 | 3/150 |
|
|
|
[考研] 一志愿華東師范大學(xué)有機(jī)化學(xué)專業(yè)，初試351分，復(fù)試被刷求調(diào)劑! +9 | 真名有冰 2026-03-29 | 10/500 |
|
|
|
[考研] 343求調(diào)劑 +8 | 愛(ài)羈絆 2026-03-28 | 8/400 |
|
|
|
[考研] 08工科，295，接受跨專業(yè)調(diào)劑 +6 | lmnlzy 2026-03-30 | 6/300 |
|
|
|
[考研] 福建理工大學(xué)材料學(xué)院先進(jìn)合金團(tuán)隊(duì)招收考研調(diào)劑學(xué)生 +3 | 大華金商都 2026-03-30 | 4/200 |
|
|
|
[考研] 356求調(diào)劑 +3 | gysy?s?a 2026-03-28 | 3/150 |
|
|
|
[考研] 394求調(diào)劑 +3 | 好事多磨靜候佳?/a> 2026-03-26 | 5/250 |
|
|
|
[考研] 272求調(diào)劑 +7 | 腳滑的守法公民 2026-03-27 | 7/350 |
|