Institute of Information Science Academia Sinica
講 題: 應用邏輯討論會系列 (XXXV) -- Axiomatization of Mereological Theories
講 者: 蔡行健 教授 (國立中正大學哲學系)
時 間: 2017-07-06 (Thu) 15:30 – 17:30
地 點: 資訊所新館101演講廳
邀請人: 廖純中
摘要: