期刊邮箱: 投稿网址:https://mc.manuscriptcentral.com/tocl 期刊网址: https://dl.acm.org/journal/tocl 出版商网址: http://www.acm.org ACM Transactions on Computational Logic《美国计算机协会计算逻辑会报》 (官网投稿) 简介 期刊简称ACM T COMPUT LOG
https://dl.acm.org/journal/tocl 影响因子: 0.700 出版商: ACM ISSN: 1529-3785 浏览: 15097 关注: 7征稿 For the purposes of ACM Transactions on Computational Logic, the field of computational logic consists of all uses of logic in computer science. TOCL is published quarterly. The first ...
计算逻辑上的 Acm 事务(Acm Transactions On Computational Logic)是一本由Association for Computing Machinery (ACM)出版的一本工程技术-计算机:理论方法学术刊物,主要报道工程技术-计算机:理论方法相关领域研究成果与实践。本刊已入选来源期刊,该刊创刊于2000年,出版周期Quarterly。2021-2022年最新版WOS分区等级:Q1,2023...
ACM Transactions on Computational LogicSCIE 期刊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 (TOCL) is devoted to research concerned with all uses of logic in computer science. Logic continues to play an important role in computer science and permeates many of its areas including: artificial intelligence, computational complexity, database systems and...
Both theoretical and applied papers are sought. Submissions showing novel use of logic in computer science are especially welcome. TOCL 欢迎提交与逻辑有关的所有方面的文章,因为它涉及计算机科学的主题。该领域在计算机科学中有着悠久的传统。获得 ACM 图灵奖的几位研究人员也为该领域做出了贡献,即 Edgar Cod...
6. ACM Transactions on Autonomous and Adaptive Systems (TAAS) - 集中于自主和自适应系统的设计与实施。7. ACM Transactions on Computational Logic (TOCL) - 探讨计算逻辑领域的理论与实践。8. ACM Transactions on Computer-Human Interaction (TOCHI) - 关注人机交互的理论与实践。9. ACM ...
ACM Transactions on Asian Language Information Processing(TALIP)《美国计算机协会亚洲语言信息处理汇刊》ACM Transactions on Autonomous and Adaptive Systems（TAAS）《美国计算机学会自主和自适应系统》ACM Transactions on Computational Logic (TOCL)《美国计算机协会计算逻辑汇刊》ACM Transactions on ...
1 ACM Transactions on Asian Language Information Processing (TALIP) 2 ACM Transactions on Computational Logic (TOCL) 3 ACM Transactions on Computer Systems (TOCS) 4 ACM Transactions on Computer-Human Interaction (TOCHI) 5 ACM Transactions on Database Systems (TODS) 6 ACM Transactions on Design ...
ACM Transactions on Computer-Human Interaction (TOCHI)ACM Transactions on Computational Logic (TOCL)A...