跳到主要内容
高级搜索
浏览
关于
登录
注册
高级搜索
期刊销售
杂志
诉讼
书
信号发生器
会议
人
更多
搜索ACM数字图书馆
搜索
搜索
高级搜索
ACM计算逻辑事务
日记主页
刚刚接受
最新版本
档案文件
作者
作者指南
ACM上诉政策
提交网站
ACM作者策略
编辑
编辑委员会
利益冲突
副编辑欢迎视频
评审员
信息和指南
关于
关于TOCL
公告
摘要/索引
TOCL作者列表
TOCL附属公司
ACM奖得主
联系我们
更多
ACM计算逻辑事务
在TOCL内搜索
搜索
搜索
主页
ACM日志
ACM计算逻辑事务
档案文件
档案文件
2000年代
2010年代
20世纪20年代
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2024年第25卷
2024年7月
,
第3期
当前发行
2024年4月
,
第2期
2024年1月
,
第1版
引文输出
选择引文格式
BibTeX公司
尾注
ACM参考
在开始新的批量导出之前,请先下载或关闭以前的搜索结果导出。
预览不可用。
单击下载,
状态对话框
将打开以启动导出过程。
该过程可能需要
几分钟后
但一旦完成,一个文件将可以从您的浏览器下载。
您可以在导出过程中继续浏览DL。
下载引文
复制引文
您的搜索结果下载请求
我们正在准备下载您的搜索结果。。。
文件准备好后,我们会在这里通知您。
立即下载!
您的搜索结果下载请求
您的搜索结果引用文件现已准备就绪。
立即下载!
您的搜索结果下载请求
您的搜索导出查询已过期。
请再试一次。