| 000 |
|
00992nam0 2200241 450 |
| 001 |
|
0012104571 |
| 005 |
|
20210518153020.9 |
| 010 |
__ |
■a978-7-03-050762-4■dCNY85.00 |
| 100 |
__ |
■a20181129e20172016em y0chiy50 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■ay z 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a智能推理及其在信念修正中的应用■f栾尚敏, 王树编著■9zhi neng tui li ji qi zai xin +...... |
| 210 |
__ |
■a北京■c科学出版社■d2016.10■h2017.01 |
| 215 |
__ |
■a230页■d24cm |
| 330 |
__ |
■a本书首先介绍了经典的单调推理中的命题推理系统和谓词推理系统，以及推理的公理化系统和自然推理系统；其次，介绍了单调推理+...... |
| 606 |
0_ |
■a推理控制 |
| 690 |
__ |
■aTP273■v5 |
| 701 |
_0 |
■a栾尚敏■4编著■9luan shang min |
| 701 |
_0 |
■a王树■c(计算机)■4编著■9wang shu |
| 801 |
_0 |
■aCN■b南昌职业大学图书馆■c20210517 |
| 905 |
|
■a南昌职业大学图书馆■dTP273/130 |
(共0票)
评价
