个人信息Personal Information

学历：博士研究生毕业

毕业院校：西南交通大学

所在单位：数学学院

报考该导师

研究方向

当前位置: 中文主页 >> 研究方向

1、基于经典逻辑的自动推理； 2、基于格值逻辑的自动推理。

1、基于经典逻辑的自动推理； 2、基于格值逻辑的自动推理。