【楽天ブックスならいつでも送料無料】
30,008 円 （税抜き）
Automated Reasoning: 5th International Joint Conference, Ijcar 2010, Edinburgh, Uk, July 16-19, 2010 AUTOMATED REASONING 2010/E （Lecture Notes in Computer Science / Lecture Notes in Artific）
30,008 円 （税抜き）