來源:學(xué)術(shù)之家整理 2026-04-11 18:02:54
《Information And Computation》中文名稱:《信息與計(jì)算》,創(chuàng)刊于1987年,由Elsevier Inc.出版商出版,出版周期Monthly。
《信息與計(jì)算》歡迎理論計(jì)算機(jī)科學(xué)和信息理論計(jì)算應(yīng)用各個(gè)領(lǐng)域的原創(chuàng)論文。質(zhì)量卓越的綜述文章也將受到考慮。特別歡迎在活躍的理論領(lǐng)域貢獻(xiàn)新成果的論文,例如
-生物計(jì)算和計(jì)算生物學(xué)-
計(jì)算復(fù)雜性-
計(jì)算機(jī)定理證明-
并發(fā)和分布式過程理論-
密碼理論-
數(shù)據(jù)庫理論-
邏輯中的決策問題-
算法的設(shè)計(jì)和分析-
離散優(yōu)化和數(shù)學(xué)規(guī)劃-
歸納推理和學(xué)習(xí)理論-
邏輯和約束編程-
程序驗(yàn)證和模型檢查-
概率和量子計(jì)算-
編程語言的語義-
符號(hào)計(jì)算,lambda演算和重寫系統(tǒng)-
類型和類型檢查
旨在及時(shí)、準(zhǔn)確、全面地報(bào)道國內(nèi)外COMPUTER SCIENCE, THEORY & METHODS工作者在該領(lǐng)域的科學(xué)研究等工作中取得的經(jīng)驗(yàn)、科研成果、技術(shù)革新、學(xué)術(shù)動(dòng)態(tài)等。
| 文章引用名稱 | 引用次數(shù) |
| A semantic theory of the Int... | 5 |
| A calculus for collective-ad... | 4 |
| Graded modalities in Strateg... | 4 |
| Practical verification of mu... | 4 |
| Computation as social agency... | 3 |
| Alignment-free sequence comp... | 3 |
| Logical characterization of ... | 3 |
| Imperfect information in Rea... | 2 |
| Compositional and symbolic s... | 2 |
| Descriptional complexity of ... | 2 |
| 被引用期刊名稱 | 數(shù)量 |
| THEOR COMPUT SCI | 123 |
| LOG METH COMPUT SCI | 95 |
| INFORM COMPUT | 79 |
| IEEE ACCESS | 55 |
| J LOG ALGEBR METHODS | 46 |
| ALGORITHMICA | 42 |
| J COMPUT SYST SCI | 37 |
| FUND INFORM | 33 |
| MATH STRUCT COMP SCI | 32 |
| ARTIF INTELL | 25 |
| 引用期刊名稱 | 數(shù)量 |
| THEOR COMPUT SCI | 97 |
| INFORM COMPUT | 79 |
| J ACM | 48 |
| SIAM J COMPUT | 45 |
| J COMPUT SYST SCI | 31 |
| INFORM PROCESS LETT | 23 |
| INT J FOUND COMPUT S | 22 |
| FUND INFORM | 21 |
| IEEE T INFORM THEORY | 21 |
| LOG METH COMPUT SCI | 18 |
聲明:該作品系作者結(jié)合互聯(lián)網(wǎng)公開知識(shí)整合。如有錯(cuò)漏請(qǐng)聯(lián)系我們,我們將及時(shí)更正。