Logic for Programming, Artificial Intelligence, and Reasoning

作者: Robert Nieuwenhuis
出版社: Springer; 1 edition
副标题: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings
出版年: 2001-12
页数: 738
定价: 110.00 元
装帧: 平装
ISBN: 9783540429579
目前无人评价

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

谁读这本书?

尧

2011年3月28日 想读


> 2人想读

二手市场

订阅关于Logic for Programming, Artificial Intelligence, and Reasoning的评论:
feed: rss 2.0