太阳城集团官网

林哲

林哲

副教授

电子邮件:[email protected]

主要研究领域:逻辑与计算,语言逻辑,代数与证明论

林哲  副教授

   

   研究方向:逻辑与计算,语言逻辑,代数与证明论。

邮箱[email protected]