ACM计算逻辑事务(TOCL)
2024年第25卷 2023年第24卷 2022年第23卷 2021年第22卷 2020年第21卷 2019年第20卷 2018年第19卷 2017年第18卷 第17卷,2015/2016 第16卷,2014/2015 2014年第15卷 2013年第14卷 2012年第13卷 第12卷,2010/2011 第11卷,2009/2010 2009年第10卷 第9卷,2007/2008 2007年第8卷 2006年第7卷 2005年第6卷 2004年第5卷 2003年第4卷 2002年第3卷 2001年第2卷 2000年第1卷