教材下載

型式邏輯簡介 Introduction to Formal Logic

布林可滿足性及其應用 Boolean Satisfiability and Its Applications

一階邏輯可滿足性及其應用 First Order Logic Satisfiability and Its Applications