| 000 |
|
01122nam0 2200313 450 |
| 010 |
__ |
■a7-80190-518-0■dCNY25.00 |
| 100 |
__ |
■a20050410d2005 em y0chiy0121 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■ay z 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a智能程序助理侦破■d=The Logic Program for Solving Cases■f于思著■AZhi N+...... |
| 210 |
__ |
■a北京■c社会科学文献出版社■d2005 |
| 215 |
__ |
■a376页■d22cm |
| 225 |
2_ |
■a刑侦半自动化丛书■AXing Zhen Ban Zi Dong Hua Cong Shu |
| 300 |
__ |
■a并列题名:The Logic Program for Solving Cases |
| 330 |
__ |
■a本书将现代模态逻辑理论应用于刑事侦查工作的推理实践,用T系统的语义图方法来检验推理是否常真,结合案例作了大量的具体分+...... |
| 410 |
_0 |
■12001■a刑侦半自动化丛书 |
| 510 |
1_ |
■aThe Logic Program for Solving Cases■zeng |
| 606 |
0_ |
■a计算机应用■x刑事侦察■x研究 |
| 606 |
0_ |
■a计算机应用 |
| 606 |
0_ |
■a刑事侦察 |
| 690 |
__ |
■aDF793■v4 |
| 690 |
__ |
■aD918.2■v4 |
| 701 |
_0 |
■a杨学菁■g(政法教师)■4著■AYang Xue Jing |
| 801 |
_0 |
■aCN■bGSXY■c20080325 |
| 905 |
__ |
■aGSXY■fDF793/Y851 |
| 906 |
__ |
■a0508624■a0508625■a0508626■a0508627 |
| 999 |
__ |
■Mcj■m20080325 14:43:42 |