作者:T. V. Gopal,Manindra Agrawal,Angsheng Li,S. Barry Cooper
主题词:Theory of Computation,Mathematics of Computing,Algorithm Analysis and Problem Complexity,Logics and Meanings of Programs,Data Structures,Cryptology and Information Theory,Mathematical Logic and Formal Languages