面向计算机科学的数理逻辑 系统建模与推理 答案（全部）
logic in computer science modelling and reasoning about systems solutions
2019-12-21 20:32:37
400KB
1
面向计算机科学的数理逻辑系统建模与推理（原书第二版） 绝对中文版
2010-11-21 00:00:00
11.82MB
1