简单检索 多字段检索 组合检索 检索结果

用户登录

全部纸本图书期刊

基于时序逻辑的RESOLUTION自动定理证明方法

—章岚著

索书号：TP301.6/00324

标准编码：978-7-5638-3266-8

出版信息：首都经济贸易大学出版社 2021.08 北京

1 共： 1 条