作者:Matteo Baldoni,Amit K. Chopra,Tran Cao Son,Katsutoshi Hirayama,Paolo Torroni
主题词:Artificial Intelligence (incl. Robotics),Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages,Compilers,Interpreters,Special Purpose and Application-Based Systems,Information Systems Applications (incl.Internet)