个人信息Personal Information


学历:博士研究生毕业

毕业院校:西南交通大学

所在单位:数学学院

研究方向

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

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

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