ACM Transactions on Computational Logic

ACM Transactions on Computational Logic

美国计算机学会计算逻辑汇刊

期刊周期:Quarterly
研究方向:工程技术
影响因子:0.448
通讯地址:ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701
官网:http://tocl.acm.org/
投稿地址:http://mc.manuscriptcentral.com/tocl
审稿速度:>12周,或约稿

  中文简介

ACM计算逻辑事务欢迎提交与计算机科学主题相关的所有方面的逻辑。这一领域在计算机科学方面有着悠久的传统。逻辑在计算机科学中继续发挥着重要的作用,并已渗透到它的几个领域,包括人工智能、计算复杂性、数据库系统和编程语言。该杂志的编辑委员会寻求并希望吸引高质量的提交在上述所有领域的计算逻辑,使TOCL成为该领域的标准参考。理论和应用论文都是寻求。特别欢迎提交显示逻辑在计算机科学中的新颖应用的作品。

  英文简介

ACM Transactions on Computational Logic welcomes submissions related to all aspects of logic as it pertains to topics in computer science. This area has a great tradition in computer science.Logic continues to play an important role in computer science and has permeated several of its areas, including artificial intelligence, computational complexity, database systems, and programming languages.The Editorial Board of this journal seeks and hopes to attract high-quality submissions in all the above-mentioned areas of computational logic so that TOCL becomes the standard reference in the field.Both theoretical and applied papers are sought. Submissions showing novel use of logic in computer science are especially welcome.

  近年期刊影响因子趋势图

  相关工程技术SCI期刊推荐

SCI服务

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