SCIE期刊ACM Transactions on Computational Logic 2024/2025影響因子:0.783 (ACM T COMPUT LOG) (1529-3785). (LOGIC)(邏輯學)Science C

VERT

內(nèi)向者

借喻

Submitted on: 21 July 2017. Revised on: 29 September 2017. Accepted on: 06 November 2017. ___________________ACM Transactions on Computational Logic

內(nèi)疚

analogous

雀斑

Submitted on: 14 March 2017. Revised on: 05 July 2017. Accepted on: 27 August 2017. ___________________ACM Transactions on Computational Logic