作者:Matteo Baldoni,Tran Cao Son,M. Birna Riemsdijk,Michael Winikoff
主题词:Artificial Intelligence (incl. Robotics),Models and Principles,Computer Communication Networks,Software Engineering,Programming Languages,Compilers,Interpreters,Logics and Meanings of Programs