作者:John S. Fitzgerald,Anne E. Haxthausen,Husnu Yenigun
主题词:Computation by Abstract Devices,Theory of Computation,Algorithm Analysis and Problem Complexity,Software Engineering,Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation