作者:Krzysztof R. Apt,François Fages,Francesca Rossi,Péter Szeredi,Josef Váncza
主题词:Artificial Intelligence (incl. Robotics),Programming Techniques,Programming Languages,Compilers,Interpreters,Logics and Meanings of Programs,Mathematical Logic and Formal Languages