作者:Nader H. Bshouty,Gilles Stoltz,Nicolas Vayatis,Thomas Zeugmann
主题词:Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Algorithm Analysis and Problem Complexity,Computation by Abstract Devices,Logics and Meanings of Programs,Pattern Recognition