机读格式显示(MARC)

• 000 00459nam2 2200193 4500

• 001 0000039319

• 010 __ |a 7-81016-330-2 |d ￥4.00

• 101 0_ |a chi

• 200 1_ |a 自动推理导论 |f 邱玉辉，张为群编著 |g |A ZDTLDL |F QYH,ZWQ

• 205 __ |a

• 210 __ |a 成都 |c 电子科技大学出版社 |d 1992.6

• 215 __ |a 216页 |c |d 20cm

• 225 2_ |a |f

• 320 __ |a

• 690 __ |a TP301.1 |v 4

• 701 _0 |a 邱玉辉，张为群编著 |A QYH,ZWQ |4 著

• 801 _0 |a CN |b HIEL

• 905 __ |a HIEL |d TP301.1/719

• 999 __ |b 5