Logic Programming and Automated Reasoning

作者: Voronkov, Andrei; Voronkov, A.;
页数: 532
ISBN: 9783540557272
目前无人评价
评价:

短评  · · · · · ·

热门 / 最新 /

  • 还没人写过短评呢

  • 还没人写过短评呢

我要写书评

Logic Programming and Automated Reasoning的书评 · · · · · · ( 全部 0 条 )

论坛  · · · · · ·

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

谁读这本书?  · · · · · ·

二手市场  · · · · · ·

订阅关于Logic Programming and Automated Reasoning的评论:
feed: rss 2.0