精准查询专业学术顾问一对一为您服务
ACM Transactions on Computational Logic
ACM计算逻辑事务欢迎提交与计算机科学主题相关的所有方面的逻辑。这一领域在计算机科学方面有着悠久的传统。逻辑在计算机科学中继续发挥着重要的作用,并已渗透到它的几个领域,包括人工智能、计算复杂性、数据库系统和编程语言。该杂志的编辑委员会寻求并希望吸引高质量的提交在上述所有领域的计算逻辑...
所属栏目:SCI期刊 研究方向:工程技术 学科领域:计算机:理论方法 中科院分区: IF分值:0.448 热度:667