作者:Daniel S. Yeung,Zhi-Qiang Liu,Xi-Zhao Wang,Hong Yan
主题词:Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Computation by Abstract Devices,Algorithm Analysis and Problem Complexity,Image Processing and Computer Vision,Database Management