『【裁断済み】Coq/SSReflect/MathCompによる定理証明』はセカイモンでde1e5e2から出品され、497の入札を集めて04月03日 7時 19分に、1853円で落札されました。即決価格は1853円でした。決済方法はに対応。石川県からの発送料は落札者が負担しました。ＰＲオプションはストア、取りナビ(ベータ版)を利用したオークション、即買でした。
《出品：2021-07-22》＊注意＊・本書は「裁断」されており、ページが一枚ずつバラバラの状態でございます。通常の読書には適しません・単品での値下げは一切いたしません。複数冊ご購入いただく場合は値引きをいたします（詳細はプロフィールに記載）・プロフィールの記載を必ずご確認ください上記をご了承のうえ、ご購入ください。【商品の状態・備考】・ジャケットと帯に軽微な傷あり・地に軽微な傷あり・そのほか目立った傷や汚れなし【配送・発送について】佐川急便/日本郵便、もしくは佐川急便/日本郵便で発送いたします。【梱包について】クリーニング後、以下の順に梱包いたします。1.OPP袋・ビニール袋2.緩衝材3.封筒・ダンボール【商品の保管について】ペットはおらず、喫煙もいたしません。保管には注意をはらいますが、素人によるもので完全とはいえません。あくまでいちど人手にわたったものである旨をご了承ください。【お取り置き／専用ページについて】商品の取り置きは一切いたしません。しかし次に該当する場合は、専用ページを作成いたします。・まとめ買い（注意）専用ページ作成から2日経過してもご購入いただけない場合、専用ページを取り消します。【商品説明】「四色定理」や「ケプラー予想」の証明に使われたことでも注目の定理証明支援系。その研究利用と普及を手がけてきた著者らが、開発環境のインストール手順から基本的な操作、代表的な命令・ライブラリの使い方までを丁寧に案内します。※Amazon.co.jpより引用#裁断済み#数学#コンピュータ#IT#プログラミング#プログラマ#エンジニア
| カテゴリー: | 本・雑誌・漫画>>>本>>>語学・辞書・学習参考書 |
|---|---|
| 商品の状態: | やや傷や汚れあり |
| 配送料の負担: | 送料込み(出品者負担) |
| 配送の方法: | 佐川急便/日本郵便 |
| 発送元の地域: | 新潟県 |
| 発送までの日数: | 2~3日で発送 |
- カテゴリ
- タグ
-
- 【裁断済み】Coq/SSReflect/MathCompによる定理証明
セカイモン販売中の類似商品
-
【裁断済み】意味ってなに? -形式意味論入門-／ポール・ポートナー
¥ 2703
-
Labo Teaching Information Center8冊セット 廃盤
¥ 2974
-
2002年度版 英検1級過去6回全問題集
¥ 3400
-
【未使用】Exercices de grammaire A1.A2
¥ 3613
-
投資DVD もぐらトレード/半値トレードの極意 2巻セット
¥ 3673
-
【裁断済み】流れの数値計算と可視化 第3版 -SIMPLE法とMAC法による…
¥ 3598
-
英語の歴史から考える英文法の「なぜ」 1,2 セット
¥ 3060
-
【シュリンク付き】NEWtreasure stage1-5 CD
¥ 4226
-
【未使用】四谷大塚 理科 5年上予習シリーズ・演習問題集・週テスト問題集
¥ 3613
-
能開センター 5年 国語 通年セット
¥ 3400
-
自由自在 小学高学年 基礎からできる有名中学入試対策 中学受験 受験研究社
¥ 3400
-
赤本まとめ売り！バラ売り可！
¥ 3400
-
洋書 Agnes Arany-Makkai『2001 英露・露英熟語辞書』
¥ 3375
-
中学英語 塾専用教材 連ゼミノート
¥ 2975
-
【裁断済み】意思決定の数理 最適な案を選択するための理論と手法／西崎一郎
¥ 2703
-
潮見佳男 債権各論Ⅰ・Ⅱ セット
¥ 2720
-
日本史 参考書 まとめセット
¥ 3400
-
【未使用品】令和3年 一級建築士 項目重点講座一式
¥ 2975
-
セール最終価格））鴎友（鷗友学園女子中学校 平成29年度用 2021年度用
¥ 3305
-
入試国語スーパーマニュアル
¥ 3400
-
駿台2024 医系論文・面接総合サポート 未使用美品＋化学特講Ⅰ2023美品
¥ 3612
-
井上涼子 Eternal Season
¥ 3399
-
朝食ビスケットとコーンブレッド 原亜樹子 グラフィック社
¥ 1020
-
シン・ゴジラプレミアムフィギュア
¥ 3829
-
過食症サバイバルキット : ひと口ずつ,少しずつよくなろう
¥ 1785
-
Jesse Winchester ジェシ・ウィンチェスター
¥ 3060
-
TAMA BLACK COWBELL カウベル タマ
¥ 1573
- 落札情報
- 出品者情報
- 落札価格
- 1853円
- 開始価格
- 1853円
- 即決価格
- 1853円
- 入札単位
- 100円
- 商品状態
- 新品、未使用
- 個数
- 1
- 開始日時
- 2025.03.10 18:42
- 終了日時
- 2025.04.03 7:19
- 自動延長
- なし
- 早期終了
- なし
- 入札者評価制限
- あり
- 入札者認証制限
- あり
支払い・配送方法
- 支払い方法
-
- 送料負担
- 落札者
- 発送元
- 石川県
- 海外発送
- 対応しません
- 発送方法
- -
商品説明
こちらの商品をお気に入り登録しませんか？
オークファンの無料会員に登録すれば
一度検索した商品をお気に入り登録可能。
マイブックマーク機能で
いつでもすぐに登録した商品を
見返すことができます。
既に会員の方はこちらからログインをお願いいたします
会員登録で同じ商品を出品！
「同じ商品を出品する」機能のご利用には
オークファン会員登録が必要です。
入札予約
最大10年分の相場を簡単検索！
価格を表示するには、
オークファンプレミアム（月額8,800円/税込）の登録が必要です。
まずはお試し！！初月無料で過去の落札相場を確認！
- ※クレジットカードのみ初月無料の対象となります。
-
※登録月が無料となり、登録月の翌月より料金が発生します。
初月無料対象月内に利用再開を行った場合、初月無料の対象外となります。
期間おまとめ検索とは？
オークションで稼ぐための人気機能！
「期間おまとめ検索」を使えば、複数月をまたいだ指定期間の相場検索が可能です。レアな商品の相場や過去の出品数をまとめて確認できます。
さらに、オークファンプレミアムに登録すると最大過去10年分の相場データが月1,200回まで閲覧可能です。
最大10年分の相場を簡単検索！
価格を表示するには、
オークファンプレミアム（月額2,200円/税込）の登録が必要です。
まずはお試し！！初月無料で過去の落札相場を確認！
- ※クレジットカードのみ初月無料の対象となります。
-
※登録月が無料となり、登録月の翌月より料金が発生します。
初月無料対象月内に利用再開を行った場合、初月無料の対象外となります。