- 当日発送
- 送料無料
【着後レビューで 送料無料】 Interactive ビジネス/経済 Theorem Program and Proving ビジネス/経済
お気に入りブランド
- 販売価格 ：
-
￥5780税込
- 獲得ポイント ：
- ポイント
当日発送可 (14:00までのご注文が対象)
- ※
ご注文内容・出荷状況によっては当日発送できない場合もございます。
詳しくはこちらよりご確認ください。
利用可
- ※
ポストにお届け / 一点のみ購入でご利用可能です。
ゆうパケットでのお届けの場合はサンプル・ノベルティが対象外となります。
ゆうパケットには破損・紛失の保証はございません。
詳しくはこちらよりご確認ください。
商品の詳細
Interactive Theorem Proving and Program Development値下げ不可です。
| カテゴリー: | 本・音楽・ゲーム>>>本>>>ビジネス/経済 |
|---|---|
| 商品の状態: | 目立った傷や汚れなし |
| 色: | ブラック系/レッド系/ブルー系 |
| 配送料の負担: | 送料込み(出品者負担) |
| 配送の方法: | 佐川急便/日本郵便 |
| 発送元の地域: | 山梨県 |
| 発送までの日数: | 1~2日で発送 |
商品の説明
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development: Bertot, Yves
Abdulle Lecture - Interactive theorem provers : can they help mathematicians ? - Prof. Kevin Buzzard
Theorem Proving by Resolution 4365 Artificial | Chegg.com
PDF) An Alternative Proof of Bolzano's Theorem
最新のクチコミ
ビジネス/経済
-
-
3
山田涼介DVDまとめ売り
日本映画
￥8,835
