老蔣,你估計沒學過多少邏輯學。First order logic, temporal logic等,沒學過吧?

所有跟帖: 

請您先登陸,再發跟帖!