Home» News» Seminars» 报告人： 刘力恺 题目：一阶模态逻辑初步

News

报告人： 刘力恺 题目：一阶模态逻辑初步

发布日期：2020-11-02 作者：

报告人：刘力恺

题目：一阶模态逻辑初步

时间：11月3日 15:00-18:00

地点：二教413