作者:Hans L. Bodlaender,Rod Downey,Fedor V. Fomin,Dániel Marx
主题词:Algorithm Analysis and Problem Complexity,Discrete Mathematics in Computer Science,Computation by Abstract Devices,Mathematical Logic and Formal Languages,Logics and Meanings of Programs