ACM Transactions on Computational Logic

ACM Transactions on Computational Logic

SCIE
  • 期刊ISSN:1529-3785
  • 研究方向:工程技术
  • 影响因子:0.448
  • SCI类别:SCIE
  • 是否OA:No
  • 出版地:UNITED STATES
  • 年文章数:33
  • 涉及的研究方向:工程技术-计算机:理论方法
http://tocl.acm.org/
http://mc.manuscriptcentral.com/tocl
ACM Transactions on Computational Logic简介 Magazine introduction
  • 英文简介

    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.

  • 中文简介

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

  • 影响因子趋势图

相似期刊推荐 Recommendation for similar journals
期刊服务明细 SERVICE DETAILS

稿件预审

快速预审、投刊前指导、专业学术评审,对文章进行评价 立即咨询

润色编辑

校对编辑、深度润色,让稿件符合学术规范,格式体例等标准 立即咨询

学术翻译

适用于语句和结构尚需完善和调整的中文文章,确保稿件达到要求 立即咨询

文章查重

数据库包括:期刊、文章、书籍、会议、预印书、百科全书和摘要等 立即咨询

期刊推荐

让作者在期刊选择时避免走弯路,缩短稿件被接收的周期 立即咨询

稿件格式修正

根据目标期刊格式要求对作者文章进行全面的格式修正和调整 立即咨询

协助提交稿件

协助作者将稿件提交至目标期刊投稿系统,降低退稿或拒稿率 立即咨询

投稿附言指导

按照您提供的稿件内容,指导完成投稿附信(cover letter) 立即咨询
权益保障 protection of rights and interests

安心交易

不成功退款,无后顾之忧,风险服务升级。

合规备案认证机构

资质许可齐全,合规经营,用户权益有保障。

正刊保障

刊物在国家新闻出版署网可查,抵制假刊、增刊。

对公账户资金监管

交易均通过对公账户,资金安全有保障。
全部服务项目 SERVICE ITEMS

812751拥有老客户

918539评职称指导

63352国际出版服务

819867开具合同

SCI期刊网国内外期刊论文咨询指导

工作时间:每日8:00 - 24:00