豆瓣: 在哪儿买面向计算机科学的数理逻辑系统建模与推理

* 实际价格以各网站列出的实时售价为准，豆瓣提供的价格可能有数小时至数日的延迟。
* 价格不包括递送费用。

面向计算机科学的数理逻辑系统建模与推理

作者: 胡思
isbn: 7111160533
书名: 面向计算机科学的数理逻辑系统建模与推理
页数: 427
定价: 49.00元
出版社: 机械工业
出版年: 2005-4