Associate Professor
The Last Update Time: ..
Affiliation of Author(s):哲学与社会发展学院
Journal:ACM Transactions on Computational Logic
Document Code:39AF19F7DCD64BBDA3819C6617CF6A2A
Issue:0
Number of Words:30
Translation or Not:no
Date of Publication:2022-10-20