Institute of Information Science Academia Sinica
講 題: 應用邏輯討論會系列 (XXXVII) -Left Resolution
講 者: 李瑞麟 教授 (國立虎尾科技大學通識中心)
時 間: 2018-01-29 (Mon) 15:30 – 17:30
地 點: 資訊所新館107演講廳
邀請人: 廖純中
摘要: