四川大学数学系,四川成都610064; 2.西南交通大学应用数学系,四川成都610031. Theory of Generalized Tautology in Lukasiewicz Logic System. WUHong-bo;WANG Guo-jun.
確定! 回上一頁