Associate Professor
The Last Update Time: ..
Hits:
Institution:哲学与社会发展学院
Title of Paper:Algebraic Proof Theory for LE-logics
Journal:ACM Transactions on Computational Logic
Document Code:39AF19F7DCD64BBDA3819C6617CF6A2A
Issue:0
Number of Words:30
Translation or Not:No
Date of Publication:2022-10
Release Time:2024-05-16