Applied Logic Series,

書目資訊

reasoning robots
modern perspective on type theory
analysis and synthesis of logics
hybrid logic and its proof-theory
proof theory for fuzzy logics
 
 
Change password
Login