ACM Transactions on Computational Logic期刊简称:ACM T COMPUT LOG期刊ISSN:1529-3785是否开源:No出版地:UNITED STATES审稿周期:Quarterly创刊年份:0研究方向:工程技术所在分区:1区