西南交通大学教师主页 zhongxiaomei--Home-- 1、基于经典逻辑的自动推理； 2、基于格值逻辑的自动推理。

+

Personal Information

Alma Mater: 西南交通大学

School/Department: 数学学院

VIEW MORE

Home >Research Focus

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

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