『【裁断済み】Coq/SSReflect/MathCompによる定理証明』はセカイモンで39fcabaec2から出品され、270の入札を集めて02月14日 10時 10分に、1853円で落札されました。即決価格は1853円でした。決済方法はに対応。京都府からの発送料は落札者が負担しました。ＰＲオプションはストア、取りナビ(ベータ版)を利用したオークション、即買でした。
《出品：2021-07-22》＊注意＊・本書は「裁断」されており、ページが一枚ずつバラバラの状態でございます。通常の読書には適しません・単品での値下げは一切いたしません。複数冊ご購入いただく場合は値引きをいたします（詳細はプロフィールに記載）・プロフィールの記載を必ずご確認ください上記をご了承のうえ、ご購入ください。【商品の状態・備考】・ジャケットと帯に軽微な傷あり・地に軽微な傷あり・そのほか目立った傷や汚れなし【配送・発送について】佐川急便/日本郵便、もしくは佐川急便/日本郵便で発送いたします。【梱包について】クリーニング後、以下の順に梱包いたします。1.OPP袋・ビニール袋2.緩衝材3.封筒・ダンボール【商品の保管について】ペットはおらず、喫煙もいたしません。保管には注意をはらいますが、素人によるもので完全とはいえません。あくまでいちど人手にわたったものである旨をご了承ください。【お取り置き／専用ページについて】商品の取り置きは一切いたしません。しかし次に該当する場合は、専用ページを作成いたします。・まとめ買い（注意）専用ページ作成から2日経過してもご購入いただけない場合、専用ページを取り消します。【商品説明】「四色定理」や「ケプラー予想」の証明に使われたことでも注目の定理証明支援系。その研究利用と普及を手がけてきた著者らが、開発環境のインストール手順から基本的な操作、代表的な命令・ライブラリの使い方までを丁寧に案内します。※Amazon.co.jpより引用#裁断済み#数学#コンピュータ#IT#プログラミング#プログラマ#エンジニア
| カテゴリー: | 本・雑誌・漫画>>>本>>>語学・辞書・学習参考書 |
|---|---|
| 商品の状態: | やや傷や汚れあり |
| 配送料の負担: | 送料込み(出品者負担) |
| 配送の方法: | 佐川急便/日本郵便 |
| 発送元の地域: | 新潟県 |
| 発送までの日数: | 2~3日で発送 |
- カテゴリ
- タグ
-
- 【裁断済み】Coq/SSReflect/MathCompによる定理証明
セカイモン販売中の類似商品
-
【教員採用試験】千葉県 養護教諭 参考書及び過去問 2025年度版
¥ 1275
-
合計2冊★奴隷より身を起こして ジキル博士とハイド氏 学生社 アトム英文双書
¥ 1785
-
【セット】英検4級総合対策教本とはじめての英検5級総合対策
¥ 1105
-
やまとことば 「ことば読本」 丸谷 才一著 ☆初版本☆
¥ 1904
-
チャート式数学II+B
¥ 1784
-
生物學綱要 阿部 余四男 著 三省堂 昭和17年9月30日第6版（1,500部）
¥ 2380
-
⭐️高校 新演習 スタンダード 古典I 古典Ⅱ⭐️確認テスト 解答解説付 新品
¥ 2542
-
図鑑 ふしぎ!なぜ?大図鑑 昆虫 動物 魚 鳥 植物 学習百科 いきもの編
¥ 1955
-
ロードマップ民法 5
¥ 1133
-
系統的分類 雙頭式 新體制物理問題選 天地書房 鈴木中ニ 著 昭和16年8版
¥ 1275
-
語学・辞書・学習参考書 tech talk
¥ 1700
-
田島圭祐の古文読解が面白いほどできる基礎ドリル 古文レベル別問題集1.2
¥ 1275
-
ドッグ・トレーナーに必要な深読み・先読みテクニック
¥ 2550
-
建築設計資料集成 展示・芸能
¥ 1700
-
早稲田の英語[第9版]
¥ 1105
-
學習大辭典 工業篇 全 玉川出版部 昭和24年8月30日初版
¥ 1700
-
和洋国府台女子高等学校 6年間スーパー過去問 平成29年度用
¥ 935
-
近輓 系統的教育史提要 小野久 著 啓文社 昭和17年2月18日5版
¥ 1870
-
TOEIC L&Rテスト ゼロからしっかりスコアアップできる本
¥ 935
-
みんなの日本語初級1翻訳・文法解説韓国語版★日本語参考書
¥ 1275
-
ピックス ＳＡＰＩＸ＊３年 小３＊夏期講習＊国語／漢字トレーニング
¥ 2508
-
鉄道 前面展望 小田急ロマンスカーVSE ブルーレイ
¥ 2108
-
エポック社 オイルギャング 昭和レトロ
¥ 3825
-
川瀬巴水 高松の朝 小サイズ 複製ポスター 版画 新版画 木版画 風景画 日本画
¥ 1598
-
ハイキュー終わりと始まり
¥ 2360
-
ZEN-ON ゼンオン ガット・ギター 80 レトロ
¥ 3902
-
面白ダーツ３点セット
¥ 3613
- 落札情報
- 出品者情報
- 落札価格
- 1853円
- 開始価格
- 1853円
- 即決価格
- 1853円
- 入札単位
- 100円
- 商品状態
- 中古
- 個数
- 1
- 開始日時
- 2025.01.28 11:35
- 終了日時
- 2025.02.14 10:10
- 自動延長
- なし
- 早期終了
- なし
- 入札者評価制限
- あり
- 入札者認証制限
- あり
支払い・配送方法
- 支払い方法
-
- 送料負担
- 落札者
- 発送元
- 京都府
- 海外発送
- 対応しません
- 発送方法
- -
商品説明
こちらの商品をお気に入り登録しませんか？
オークファンの無料会員に登録すれば
一度検索した商品をお気に入り登録可能。
マイブックマーク機能で
いつでもすぐに登録した商品を
見返すことができます。
既に会員の方はこちらからログインをお願いいたします
会員登録で同じ商品を出品！
「同じ商品を出品する」機能のご利用には
オークファン会員登録が必要です。
入札予約
最大10年分の相場を簡単検索！
価格を表示するには、
オークファンプレミアム（月額8,800円/税込）の登録が必要です。
まずはお試し！！初月無料で過去の落札相場を確認！
- ※クレジットカードのみ初月無料の対象となります。
-
※登録月が無料となり、登録月の翌月より料金が発生します。
初月無料対象月内に利用再開を行った場合、初月無料の対象外となります。
期間おまとめ検索とは？
オークションで稼ぐための人気機能！
「期間おまとめ検索」を使えば、複数月をまたいだ指定期間の相場検索が可能です。レアな商品の相場や過去の出品数をまとめて確認できます。
さらに、オークファンプレミアムに登録すると最大過去10年分の相場データが月1,200回まで閲覧可能です。
最大10年分の相場を簡単検索！
価格を表示するには、
オークファンプレミアム（月額2,200円/税込）の登録が必要です。
まずはお試し！！初月無料で過去の落札相場を確認！
- ※クレジットカードのみ初月無料の対象となります。
-
※登録月が無料となり、登録月の翌月より料金が発生します。
初月無料対象月内に利用再開を行った場合、初月無料の対象外となります。