Associate Professor
The Last Update Time: ..
Affiliation of Author(s):哲学与社会发展学院
Journal:ACM Transactions on Computational Logic
Document Code:1754450339719565313
Volume:25
Issue:1
Number of Words:20
Translation or Not:no
Date of Publication:2024-01-17