书籍详情
可计算性、复杂性、语言：理论计算机科学基础
作者：（美）M.D.戴维斯（Martin D.Davis），（美）E.J.威尤克（Elaine J.Weyuker）著；张立昂等译
出版社：清华大学出版社
出版时间：1989-11-01
ISBN：9787302004264
定价：¥3.95
内容简介
本书全面、系统地阐述了理论计算机科学的主要分支，包括可计算性理论、文法和自动机理论、命题演算和量词理论、计算复杂性和不可解性等 。
作者简介
暂缺《可计算性、复杂性、语言：理论计算机科学基础》作者简介
目录
暂缺《可计算性、复杂性、语言：理论计算机科学基础》目录
猜您喜欢
