作者:Peng Wen,Yuefeng Li,Lech Polkowski,Yiyu Yao,Shusaku Tsumoto,Guoyin Wang
主题词:Computation by Abstract Devices,Data Mining and Knowledge Discovery,Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Models and Principles,Mathematical Logic and Foundations