| 000 |
|
01318oam2 2200313 450 |
| 001 |
|
013546676 |
| 005 |
|
20250409134309.0 |
| 010 |
__ |
■a978-7-111-77068-8■dCNY99.00 |
| 100 |
__ |
■a20250409d2025 em y0chiy50 ea |
| 101 |
1_ |
■achi■ceng |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■ay z 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a面向计算机科学的数理逻辑■dLogic in computer science■e系统建模与推理■emodellin+...... |
| 210 |
__ |
■a北京■c机械工业出版社■d2025.02 |
| 215 |
__ |
■a277页■d26cm |
| 225 |
2_ |
■a计算机科学丛书 |
| 305 |
__ |
■a据原书第2版译出 |
| 330 |
__ |
■a本书涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。主要特色就是紧紧围绕软硬件规约和+...... |
| 461 |
_0 |
■12001 ■a计算机科学丛书 |
| 510 |
1_ |
■aLogic in computer science■emodelling and reasoning about s+...... |
| 606 |
0_ |
■a数理逻辑 |
| 690 |
__ |
■aO141■v5 |
| 701 |
_0 |
■a休斯■c(德)■c(Huth, Michael)■4著■9xiu si |
| 701 |
_0 |
■a莱恩■c(英)■c(Ryan, Mark)■4著■9lai en |
| 702 |
_0 |
■a何伟■4译■9he wei |
| 702 |
_0 |
■a樊磊■4译■9fan lei |
| 801 |
_0 |
■aCN■b南昌职业大学图书馆■c20250918 |
| 905 |
|
■a南昌职业大学图书馆■dO141/13 |
(共0票)
评价
