基于格值逻辑的语义归结自动推理

作者：张家锋 著

出版社：西南交通大学出版社

出版时间：2017-11-01

ISBN：9787564357351

定价：¥40.00