机读格式显示(MARC)
- 000 00981nam 22200313 4450
- 010 __ |a 7-5357-2858-8 |d RMB15
- 100 __ |a 20000218d1999 kemy0chiy0121 ea
- 200 1_ |a 王者之路 |e 机器证明及其应用 |f 吴文俊主编 |A wang zhe zhi lu
- 210 __ |a 长沙 |b 长沙 |c 湖南科学技术出版社 |d 1999
- 215 __ |a 195页 |c 照片 |d 20cm
- 225 2_ |a 攀登计划普及丛书 |d The climbing program popular series |z eng |v 5
- 410 _0 |1 2001 |a 攀登计划普及丛书
- 510 1_ |a Theorem proving by machine and its application |z eng
- 517 1_ |a 机器证明及其应用 |A ji qi zheng ming ji qi ying yong
- 610 __ |a 王者 |a 之路 |a 机器 |a 证明 |a 及其 |a 应用
- 801 _0 |a CN |b Library |c 20000228 |U UnKnown
- 801 _0 |a CN |b Library |c 20011205 |U sa
- 905 __ |a JHUL |d TP24/18