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

定　價(jià)：￥3.95

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

ISBN：	9787302004264	出版時(shí)間：	1989-11-01	包裝：
開(kāi)本：	26cm	頁(yè)數(shù)：	307頁(yè)	字?jǐn)?shù)：

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

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

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

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