ACM Transactions on Computational Logic

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

ACM T COMPUT LOG期刊全称叫什么?

ACM Transactions on Computational Logic影响因子是多少?