主题词:Artificial Intelligence (incl. Robotics),Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Computer Communication Networks,Special Purpose and Application-Based Systems,Computer Appl. in Administrative Data Processing