基於時序邏輯的Resolution自動定理證明方法
- 作者： 章嵐
- 出版社： 首都經濟貿易大學出版社
- 出版日期： 2021-08-01
- ISBN碼： 9787563832668
- 編號： CN11756620
$ 287 元
原價 330
-
$287