【书名】：《计算理论基础 可计算性、复杂性和语言 英文版 第2版》
【作者】：（美）戴维斯（Davis，M.D.），（美）西加尔（Sigal，R.），（美）韦约克（Weyuker，E.J.）著
【出版社】：北京：人民邮电出版社
【时间】：2009
【页数】：609
【ISBN】：9787115196576
【SS码】：40259444