机读格式显示(MARC)

• 000 01155nam2 2200337 4500

• -01 __gzk5800631

• -09 __zyk0108242

• -98 __bm13

• -99 __tsg

• 001 0000108236

• 010 __ |a 7-80190-518-0 |d CNY25.00

• 100 __ |a 20050704d2005 em y0chiy0121 ea

• 101 0_ |a chi

• 102 1_ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 2_ |a 智能程序助理侦破 |A Zhi Neng Cheng Xu Zhu Li Zhen Po |d = The logic program for solving cases |f 于思著 |z eng

• 210 1_ |a 北京 |c 社会科学文献出版社 |d 2005.4

• 215 __ |a 376页 |d 21cm

• 225 _0 |a 刑侦半自动化丛书

• 300 _0

• 330 __ |a 本书论述了求解推理式必然真结论惟一的理论工具和可靠便捷的检验方法，据此设计了侦破大案要案的智能逻辑程序模式，为设计者智能软件提供了惟一的理论根据，也以智能化破案的逻辑程序模式为刑侦人员指出高质量、高速度破案的科学途径和手段。

• 410 __ |1 2001 |a 刑侦半自动化丛书

• 461 _1 |1 2001 |a 刑侦半自动化丛书

• 510 __ |a Logic program for solving cases |z eng

• 606 __ |a 计算机应用 |x 刑事侦察 |x 研究

• 690 __ |a D918-39 |v 4

• 701 __ |4 著 |a 于思 |A Yu Si

• 801 __ |a CN |b ATSU |c 20050718 |U 胡凤

• 905 __ |a ASTU |d D918-39/1

• 915 __ |d D918-39 |b 339330-34 |e 1