扩展的三段论及自动推理

出版社

北京：科学技术文献出版社

出版时间

2009

ISBN

9787502363185

标注页数

295 页

PDF页数

315 页