作者:Boi V. Faltings,Adrian Petcu,François Fages,Francesca Rossi
主题词:Artificial Intelligence (incl. Robotics),Programming Languages,Compilers,Interpreters,Algorithm Analysis and Problem Complexity,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Numeric Computing