机读格式显示(MARC)

• 000 00882oam2 2200289 450

• -01 __gzk0098436

• -09 __zyk0344377

• -98 __bm1

• -99 __bm1

• 001 0000043871

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

• 100 __ |a 20060221d2005 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 200 1_ |a 智能程序助理侦破 |A Zhi Neng Cheng Xu Zhu Li Zhen Po |f 于思 著

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

• 215 __ |a 376页 |d 22cm

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

• 330 __ |a 本书将现代模态逻辑理论应用于刑事侦查工作的推理实践，用T系统的语义图方法来检验推理是否常真，结合案例作了大量的具体分析。

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

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

• 690 __ |a DF793.2 |v 4

• 701 _0 |a 于思 |4 著

• 801 _0 |a CN |b AHLSL |c 20060221

• 905 __ |a AHLSLTSG |d DF793.2/1

• 994 __ |a AHLSL |b 0254868-872 |d DF793.2 |e 1