Algebraic Proof Theory for LE-logics
点击次数：
所属单位：哲学与社会发展学院
发表刊物：ACM Transactions on Computational Logic
论文编号：39AF19F7DCD64BBDA3819C6617CF6A2A
期号：0
字数：30
是否译文：否
发表时间：2022-10-20
发表时间：2022-10-20
副教授
性别：男
出生日期：1988-06-10
毕业院校：Delft University of Technology, 中山大学
学历：研究生(博士)毕业
学位：哲学博士学位
在职信息：在职
所在单位：哲学与社会发展学院
入职时间：2018-11-06
职务：科研教师
Algebraic Proof Theory for LE-logics
点击次数：
所属单位：哲学与社会发展学院
发表刊物：ACM Transactions on Computational Logic
论文编号：39AF19F7DCD64BBDA3819C6617CF6A2A
期号：0
字数：30
是否译文：否
发表时间：2022-10-20
发表时间：2022-10-20