ショッピングカートは空です。
カートに追加したアイテムがここに表示されます。
Store Locator
Corporate Sales
About Books Kinokuniya
Membership
ズーム ロールオーバーで画像拡大
会員限定価格です アカウントページで会員情報をご入力後に適用されます
「四色定理」や「ケプラー予想」の証明に使われたことでも注目の定理証明支援系。その研究利用と普及を手がけてきた著者らが、開発環境のインストール手順から基本的な操作、代表的な命令・ライブラリの使い方までを丁寧に案内します。
This product is currently out of stock. Please check back later.
Discount is applied at checkout.
カートには最大100個の商品を追加できます。さらに商品を追加するには、まずいくつか削除してください。
