可計算性、復(fù)雜性、語言：理論計算機科學(xué)基礎(chǔ)

定　價：￥3.95

作　者：	（美）M.D.戴維斯（Martin D.Davis），（美）E.J.威尤克（Elaine J.Weyuker）著；張立昂等譯
出版社：	清華大學(xué)出版社
叢編項：
標　簽：	計算復(fù)雜性

ISBN：	9787302004264	出版時間：	1989-11-01	包裝：
開本：	26cm	頁數(shù)：	307頁	字數(shù)：

　　本書全面、系統(tǒng)地闡述了理論計算機科學(xué)的主要分支，包括可計算性理論、文法和自動機理論、命題演算和量詞理論、計算復(fù)雜性和不可解性等。

暫缺《可計算性、復(fù)雜性、語言：理論計算機科學(xué)基礎(chǔ)》作者簡介

暫缺《可計算性、復(fù)雜性、語言：理論計算機科學(xué)基礎(chǔ)》目錄

掃描二維碼

可計算性、復(fù)雜性、語言：理論計算機科學(xué)基礎(chǔ)