| 000 |
|
01051nam0 2200253 450 |
| 001 |
|
004195280 |
| 005 |
|
20211019164002.0 |
| 010 |
__ |
■a978-7-5638-3266-8■dCNY55.00 |
| 100 |
__ |
■a20211101d2021 em y0chiy50 ea |
| 101 |
0_ |
■aeng■gchi |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■ay z 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a基于时序逻辑的Resolution自动定理证明方法■b专著■dResolution calculi for disc+...... |
| 210 |
__ |
■a北京■c首都经济贸易大学出版社■d2021.08 |
| 215 |
__ |
■a225页■d24cm |
| 330 |
__ |
■a本书主要聚焦Resolution算法在时序逻辑领域的研究，介绍了把Resolution算法从表达能力较弱的时序逻辑逐+...... |
| 333 |
__ |
■a本书适合计算机相关专业技术人员 |
| 510 |
1_ |
■aResolution calculi for discrete temporal logics■zeng |
| 606 |
0_ |
■a计算机算法■j英文 |
| 690 |
__ |
■aTP301.6■v5 |
| 701 |
_0 |
■a章岚■4著■9zhang lan |
| 801 |
_0 |
■aCN■b南昌职业大学图书馆■c20221008 |
| 905 |
|
■a南昌职业大学图书馆■dTP301.6/78 |
(共0票)
评价
