000    oam2
001 __ 0100005318
005 __ 20170623171318.0
010 __ ■a7-80190-518-0■dCNY25.00
100 __ ■a20050410d2005    em y0chiy50      ea
101 0_ ■achi
102 __ ■aCN■b110000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a智能程序助理侦破■9zhi neng cheng xu zhu li zhen po■f于思著
210 __ ■a北京■c社会科学文献出版社■d2005
215 __ ■a376页■d22cm
225 2_ ■a刑侦半自动化丛书
330 __ ■a本书将现代模态逻辑理论应用于刑事侦查工作的推理实践，用T系统的语义图方法来检验推理是否常真，结合案例作了大量的具体分析。
461 _0 ■12001 ■a刑侦半自动化丛书
510 1_ ■aThe Logic Program for Solving Cases■zeng
606 0_ ■a计算机应用■x刑事侦察■x研究
606 0_ ■a计算机应用
606 0_ ■a刑事侦察
690 __ ■aD918■v4
701 _0 ■a杨学菁■9yang xue jing■c(政法教师)■4著
801 _0 ■aCN■b91MARC■c20170623