可计算性与计算复杂性导引

本版(第三版)是在2004年第二版的基础上,作者经过6年多的讲学听取学生的意见、要求进行了修订,新增了习...

2010.9