豆瓣: 在哪儿买Automated Reasoning
抱歉,现在没有相关的购买信息
Automated Reasoning
作者: Gore, Rajeev (EDT)/ Leitsch, Alexander (EDT)/ Nipkow, Tobias (EDT)
副标题: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
isbn: 3540422544
书名: Automated Reasoning
页数: 708
定价: USD 105.00
出版社: Springer
装帧: Paperback
出版年: 2001-08-09
> 去看更多介绍