机读格式显示(MARC)
- 000 01053nam0 2200313 450
- 010 __ |a 7-301-07463-8 |d CNY23.00
- 100 __ |a 20040922d2004 em y0chiy0110 ea
- 200 1_ |a 可计算性与计算复杂性导引 |9 ke ji suan xing yu ji suan fu za xing dao yin |f 张立昂编著
- 210 __ |a 北京 |c 北京大学出版社 |d 2004
- 300 __ |a 北京市高等教育精品教材立项项目 高等院校计算机专业及专业基础课系列教材
- 330 __ |a 本书从可计算性、形式语言与自动机以及计算复杂性三个领域介绍了几种计算模型及它们的等价性,函数、谓词和语言的可计算性等基本概念等内容。
- 606 0_ |a 电子计算机 |x 可计算性 |x 高等学校 |j 教材
- 606 0_ |a 电子计算机 |x 计算复杂性 |x 高等学校 |j 教材
- 701 _0 |a 张立昂 |9 zhang li ang |c (计算机) |4 编著
- 801 _0 |a CN |b ZPHC |c 20050310
- 905 __ |a ZPHC |d TP301.4/1