SCIE期刊ACM Transactions on Computational Logic 2024/2025影响因子:0.783 (ACM T COMPUT LOG) (1529-3785). (LOGIC)(逻辑学)Science C

打包

侵蚀

Submitted on: 22 July 2016. Revised on: 25 August 2016. Accepted on: 08 October 2016. ___________________ACM Transactions on Computational Logic

Implicit

Submitted on: 12 February 2006. Revised on: 20 May 2006. Accepted on: 09 June 2006. ___________________ACM Transactions on Computational Logic

幻想

savage

Palpitation

committed

Submitted on: 31 January 2017. Revised on: 16 April 2017. Accepted on: 27 May 2017. ___________________ACM Transactions on Computational Logic

打算

招致

Submitted on: 05 August 2006. Revised on: 15 September 2006. Accepted on: 22 October 2006. ___________________ACM Transactions on Computational Logic

避开

Submitted on: 27 August 2008. Revised on: 20 December 2008. Accepted on: 14 January 2009. ___________________ACM Transactions on Computational Logic