基于时序逻辑的Resolution自动定理证明方法（英文版）

出版时间 2021-08-01T00:00 其他语言 58938

作者： 章岚|责编:浩南
出版社： 首都经贸
原售价: 55.00
折扣价: 39.05
折扣购买: 基于时序逻辑的Resolution自动定理证明方法（英文版）
ISBN： 9787563832668

作者简介