可计算性、复杂性、语言：理论计算机科学基础

定　价：¥3.95

作　者：	（美）M.D.戴维斯（Martin D.Davis），（美）E.J.威尤克（Elaine J.Weyuker）著；张立昂等译
出版社：	清华大学出版社
丛编项：
标　签：	计算复杂性

ISBN：	9787302004264	出版时间：	1989-11-01	包装：
开本：	26cm	页数：	307页	字数：

　　本书全面、系统地阐述了理论计算机科学的主要分支，包括可计算性理论、文法和自动机理论、命题演算和量词理论、计算复杂性和不可解性等。

暂缺《可计算性、复杂性、语言：理论计算机科学基础》作者简介

暂缺《可计算性、复杂性、语言：理论计算机科学基础》目录