作者:Edward A. Hirsch,Juhani Karhumäki,Arto Lepistö,Michail Prilutskii
主题词:Algorithm Analysis and Problem Complexity,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Discrete Mathematics in Computer Science,Computation by Abstract Devices,Mathematics of Computing