第25卷第2期
2024年4月
ACM计算逻辑事务（TOCL）致力于研究逻辑在计算机科学中的所有用途。逻辑在计算机科学中继续发挥着重要作用，并渗透到许多领域，包括：人工智能、计算复杂性、数据库系统和编程语言。
ACM更新同行评审政策
ACM很高兴地宣布，其出版物委员会已批准更新同行评审政策。如果您对更新有任何疑问常见问题解答讨论机密性、同行评审过程中大型语言模型的使用、利益冲突以及其他一些相关问题。如果有任何问题未在常见问题解答中解决，请联系ACM的出版总监，斯科特·德尔曼.
ACM关于作者身份的新政策ACM有一个新的作者政策，涵盖了一系列关键主题，包括生成性人工智能工具的使用。请熟悉新政策和相关列表常见问题.
荷兰阿姆斯特丹阿姆斯特丹大学ILLC
卑尔根大学，挪威卑尔根
意大利博尔扎诺博赞-博尔扎努自由大学工程学院
意大利博尔扎诺自由大学工程学院和意大利特伦托大学信息工程与计算机科学系
挪威卑尔根大学信息学系和挪威奥斯陆大学信息学部
第2卷第1期
2024年3月
第3卷第2期
2024年4月-6月
第56卷第9期
2024年10月
第5卷第1期
第3卷第1期
第36卷第1期
我们正在准备下载您的搜索结果。。。
文件准备好后，我们会在这里通知您。
您的搜索结果引用文件现已准备就绪。
您的搜索导出查询已过期。请重试。
