自动演绎-CADE-18/会议录 Automated deduction-CADE-18

作者: Andrei Voronkov
出版社: 1 edition (2002年9月1日)
出版年: 2002-12
页数: 534
定价: 678.00元
装帧: 平装
ISBN: 9783540439318
目前无人评价

在哪儿借这本书?

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

谁读这本书?

十二晨
十二晨
2009年6月9日 想读


> 1人想读

二手市场

订阅关于自动演绎-CADE-18/会议录 Automated deduction-CADE-18的评论:
feed: rss 2.0