INFORMATION AND COMPUTATION

INFORMATION AND COMPUTATION

信息和计算

期刊周期:Monthly
研究方向:工程技术
影响因子:0.83
通讯地址:ACADEMIC PRESS INC ELSEVIER SCIENCE, 525 B ST, STE 1900, SAN DIEGO, USA, CA, 92101-4495
官网:http://iandc.csail.mit.edu/
投稿地址:http://iandc.csail.mit.edu/
审稿速度:约24.0个月

  中文简介

信息与计算欢迎所有领域的理论计算机科学和计算应用理论的原始论文。此外,亦会考虑品质优良的检验物品。特别受欢迎的是在活跃的理论领域如生物计算和计算生物学计算复杂度电脑定理证明并发与分布式过程理论密码理论数据基础理论逻辑决策问题算法设计与分析离散优化与数学规划归纳推理与学习理论逻辑与约束规划程序验证和模型检查概率与量子计算程序设计语言的语义符号计算、lambda演算和重写系统类型和类型查询

  英文简介

Information and Computation welcomes original papers in all areas of theoretical computer science and computational applications of information theory. Survey articles of exceptional quality will also be considered. Particularly welcome are papers contributing new results in active theoretical areas such asBiological computation and computational biologyComputational complexityComputer theorem-provingConcurrency and distributed process theoryCryptographic theoryData base theoryDecision problems in logicDesign and analysis of algorithmsDiscrete optimization and mathematical programmingInductive inference and learning theoryLogic & constraint programmingProgram verification & model checkingProbabilistic & Quantum computationSemantics of programming languagesSymbolic computation, lambda calculus, and rewriting systemsTypes and typechecking

  近年期刊影响因子趋势图

  相关工程技术SCI期刊推荐

SCI服务

搜论文知识网的海量职称论文范文仅供广大读者免费阅读使用! 冀ICP备15021333号-3