搜索结果: 1-1 共查到“科学技术哲学 林哲副教授”相关记录1条 . 查询时间(0.198 秒)
厦门大学哲学系林哲副教授参加顶级人工智能国际会议并发表重要学术论文
厦门大学哲学系 林哲副教授 人工智能
2021/7/29
今年年初,厦门大学哲学系林哲副教授参加人工智能国际会议International Joint Conference on Artificial Intelligence(IJCAI)2020并发表了论文“On the Decidability of Intuitionistic Tense Logic without Disjunction”(林哲副教授为该文的通信作者)。论文证明了一类重要的直觉...