机读格式显示(MARC)
- 000 00869nam2 2200289 4500
- 100 __ |a 20020720d1984 em y0chiy0121 ea
- 200 1_ |a 可计算性与不可解性 |A Ke Ji Suan Xing Yu Bu Ke Jie Xing |b 图书 |f (美)戴维斯(M.Davis)著 |F ( Mei ) Dai Wei Si (M.Davis) Zhu |g 沈泓译
- 210 __ |a 北京 |c 北京大学出版社 |d 1984
- 300 __ |a 书名原文:Computability and unsolvability
- 510 1_ |a Computability and unsolvability |z eng
- 701 _1 |a 戴维斯 |A Dai Wei Si |b M. |4 著
- 701 A1 |a Davis |b M. |4 著
- 702 _0 |a 沈泓 |A Shen Hong |4 译
- 801 __ |a CN |b zyyyxy |c 20020720
- 905 __ |a CCOM |d O24/D136
- 990 __ |a 211440 |b W39767-8 |d O24 |e D136