作者:Floriana Esposito,Roberto Basili,Stefano Ferilli,Francesca A. Lisi
主题词:Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Language Translation and Linguistics,Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Information Systems Applications (incl.Internet)