机读格式显示(MARC)
- 000 00647nam0 2200229 450
- 100 __ |a 20021229d1997 em y0chiy50 ea
- 200 1_ |a 定理机器证明 |A ding li ji qi zheng ming |f 刘叙华, 姜云飞编著
- 210 __ |a 北京 |c 科学出版社 |d 1987
- 540 __ |a 定理机器证明 |A Ding Li Ji Qi Zheng Ming
- 606 __ |a 证明-定理 |A zheng ming -ding li
- 701 _0 |a 刘叙华 |A liu xu hua |4 编著
- 701 _1 |a ,姜云飞 |A ,jiang yun fei |4 编著
- 801 _0 |a CN |b JDZXYTSG |c 20040719
- 905 __ |a JDZXY |d TP18/84