Automated Deduction CADE-20 自动化演绎-CADE-20/2005年国际会议录

作者:  Robert Nieuwenhuis
出版年: 2005-9
页数: 457
定价: 678.00元
ISBN: 9783540280057
目前无人评价

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

谁读这本书?

二手市场

订阅关于Automated Deduction CADE-20 自动化演绎-CADE-20/2005年国际会议录的评论:
feed: rss 2.0