自动推理Automated reasoning

作者: Furbach, Ulrich (EDT)/ Shankar, Natarajan (EDT)
出版社: Springer
副标题: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
出版年: 2007-06-04
页数: 680
定价: 858.80元
装帧: Paperback
ISBN: 9783540371878
目前无人评价

在哪儿借这本书  · · · · · ·

谁读这本书?

二手市场

订阅关于自动推理Automated reasoning的评论:
feed: rss 2.0