作者:Krzysztof R. Apt,Eric Monfroy,Antonis C. Kakas,Francesca Rossi
主题词:Artificial Intelligence (incl. Robotics),Programming Techniques,Programming Languages,Compilers,Interpreters,Logics and Meanings of Programs,Mathematical Logic and Formal Languages