作者:Pascal Fontaine,Christophe Ringeissen,Renate A. Schmidt
主题词:Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Software Engineering,Algorithm Analysis and Problem Complexity,Programming Techniques