主题词:Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages,Compilers,Interpreters,Artificial Intelligence (incl. Robotics),Symbolic and Algebraic Manipulation,Computer Imaging,Vision,Pattern Recognition and Graphics