Algebraic Proof Theory for LE-logics
发布时间：2024-05-22 点击数：
所属单位：哲学与社会发展学院
论文名称：Algebraic Proof Theory for LE-logics
发表刊物：ACM Transactions on Computational Logic
论文编号：1754450339719565313
卷号：25
期号：1
字数：20
是否译文：否
发表时间：2024-01
梁飞 (教授)
教授 博士生导师 硕士生导师
性别：男
出生日期：1988-06
毕业院校：Delft University of Technology, 中山大学
学历：研究生(博士)毕业
学位：哲学博士学位
所在单位：哲学与社会发展学院
入职时间：2018-11
所属院系： 哲学与社会发展学院
职务：科研教师
办公地点：山东大学中心校区知新楼A 1603室
联系方式：
访问量：
最后更新时间：..
最后更新时间：..