作者:Lipo Wang,Licheng Jiao,Guanming Shi,Xue Li,Jing Liu
主题词:Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Computation by Abstract Devices,Algorithm Analysis and Problem Complexity,Database Management,Image Processing and Computer Vision