作者:João Leite,Tran Cao Son,Paolo Torroni,Leon Torre,Stefan Woltran
主题词:Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Software Engineering,Programming Languages,Compilers,Interpreters,Logics and Meanings of Programs,Information Systems Applications (incl.Internet)