Automated Reasoning

作者: Gore, Rajeev (EDT)/ Leitsch, Alexander (EDT)/ Nipkow, Tobias (EDT)
出版社: Springer
副标题: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
出版年: 2001-08-09
页数: 708
定价: USD 105.00
装帧: Paperback
ISBN: 9783540422549
目前无人评价

在哪儿借这本书?

谁读这本书?

二手市场

订阅关于Automated Reasoning的评论:
feed: rss 2.0