编程、人工智能与推理用逻辑Logic for programming, artificial intelligence, and reasoning

作者: Hermann, Miki (EDT)/ Voronkov, Andrei (EDT)
出版社: Springer-Verlag New York Inc
出版年: 2006-12
页数: 588
定价: 813.60元
装帧: Pap
ISBN: 9783540482819
目前无人评价

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

谁读这本书?

owlwisp
owlwisp
2014年7月30日 想读


十狼
十狼
2013年10月6日 想读


> 2人想读

二手市场

订阅关于编程、人工智能与推理用逻辑Logic for programming, artificial intelligence, and reasoning的评论:
feed: rss 2.0