來源：學(xué)術(shù)之家整理 2025-03-18 15:36:50
《Information And Computation》中文名稱：《信息與計算》，創(chuàng)刊于1987年，由Elsevier Inc.出版商出版，出版周期Monthly。
《信息與計算》歡迎理論計算機科學(xué)和信息理論計算應(yīng)用各個領(lǐng)域的原創(chuàng)論文。質(zhì)量卓越的綜述文章也將受到考慮。特別歡迎在活躍的理論領(lǐng)域貢獻新成果的論文，例如
-生物計算和計算生物學(xué)-
計算復(fù)雜性-
計算機定理證明-
并發(fā)和分布式過程理論-
密碼理論-
數(shù)據(jù)庫理論-
邏輯中的決策問題-
算法的設(shè)計和分析-
離散優(yōu)化和數(shù)學(xué)規(guī)劃-
歸納推理和學(xué)習(xí)理論-
邏輯和約束編程-
程序驗證和模型檢查-
概率和量子計算-
編程語言的語義-
符號計算，lambda演算和重寫系統(tǒng)-
類型和類型檢查
旨在及時、準確、全面地報道國內(nèi)外COMPUTER SCIENCE, THEORY & METHODS工作者在該領(lǐng)域的科學(xué)研究等工作中取得的經(jīng)驗、科研成果、技術(shù)革新、學(xué)術(shù)動態(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)公開知識整合。如有錯漏請聯(lián)系我們，我們將及時更正。
