自动推理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
目前无人评价

在豆瓣App讨论这本书 · · · · · ·

扫码下载豆瓣App
用豆瓣App扫码,找人聊聊这本书。
没有豆瓣App? 去下载

在哪儿借这本书?

> 图书馆合作 找不到你需要的图书馆?

谁读这本书?

二手市场

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