おかげさまで開設25周年IGNITETECH.CO.ID 創業祭

IGNITETECH.CO.ID

詳しくはこちら

マイストア変更

(4901)

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) [ペーパーバック] Bertot，Yves; Cast?ran，Pierre Interactive Theorem Proving and Program Development: Coq'Art

HOT ! Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) [ペーパーバック] Bertot，Yves; Cast?ran，Pierre Interactive Theorem Proving and Program Development: Coq'Art

※IGNITETECH.CO.ID 限定モデル
YouTuberの皆様に商品の使い心地などをご紹介いただいております！
紹介動画はこちら

ネット販売
価格（税込）

8107円

コメリカード番号登録、コメリカードでお支払いで
コメリポイント： 1ポイント獲得

コメリポイントについて

購入個数

お店で受け取る
（送料無料）

受け取り店舗：

お店を選ぶ

近くの店舗を確認する

納期目安：

13時までに注文→17時までにご用意

17時までに注文→翌朝までにご用意

受け取り方法・送料について

カートに入れる

配送する

納期目安：

2025.09.24 16:28頃のお届け予定です。

決済方法が、クレジット、代金引換の場合に限ります。その他の決済方法の場合はこちらをご確認ください。

※土・日・祝日の注文の場合や在庫状況によって、商品のお届けにお時間をいただく場合がございます。

欲しいものリストに追加されました

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) [ペーパーバック] Bertot，Yves; Cast?ran，Pierre Interactive Theorem Proving and Program Development: Coq'Artの詳細情報

Interactive Theorem Proving and Program Development: Coq'Art。Interactive Theorem Proving and Program Development: Coq'Art。Interactive Theorem Proving and Program Development: Coq'Art。

商品説明

【30日間返品保証】
Amazon | Interactive Theorem Proving and Program Development
商品説明に誤りがある場合は、無条件で弊社送料負担で商品到着後30日間返品を承ります。
【中古】名古屋大学（文系ー前期日程）２００６/教学社

５８２京大（理系－前期）
【最短翌日到着】
【中古】釧路公立大学
正午12時まで（日曜日は午前9時まで）の注文は当日発送（土日祝も発送）。関東・関西・中部・中国・四国・九州地方は翌日お届け、東北地方・新潟県・北海道・沖縄県は翌々日にお届けします。
看護本　NICU 参考書

浜学園　小2 最高レベル特訓　②
【インボイス制度対応済み】
解答付き　浜学園　社会　小6 復習テスト実力〜No.39 2022年度最新版
当社ではインボイス制度に対応した適格請求書発行事業者番号（通称：T番号・登録番号）を印字した納品書（明細書）を商品に同梱してお送りしております。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。
lec教材　都庁特別区面接対策講座、都IB傾向対策

Detective Conan スペイン語版　名探偵コナン漫画　貴重！
ご満足のいく取引となるよう精一杯対応させていただきます。
【中古】小学生の算数はかせ１．２年用改訂新版/学燈社/加籐康順

【中古】筑波大学大学院過去問題集２０１２年度版/協同出版/共同教育研究会
※下記に商品説明およびコンディション詳細、出荷予定・配送方法・お届けまでの期間について記載しています。ご確認の上ご購入ください。
裁断済み17冊大学受験高校生物参考書

【中古】実戦模試演習　京都大学への数学２００３/駿台文庫/駿台予備学校
■商品名■
【中古】標準ドイツ会話改訂版/白水社/村田経和
InteractiveTheoremProvingandProgramDevelopment:Coq’Art:TheCalculusofInductiveConstructions(TextsinTheoreticalComputerScience.AnEATCSSeries)[ペーパーバック]Bertot，Yves?Cast?ran，Pierre?Huet，G.;Paulin-Mohring，C.
新品ザだんじり地車１９９４年岸和田大阪兵庫その他資料解説

医学部学士編入香川大学解答 H25〜R3
■出版社■
2022 理英会　田園調布雙葉小学校年長夏期志望校別ゼミⅠ,ⅠⅠ,ⅠⅠⅠ 12回
Springer
英語　参考書　6冊

塾講師オリジナル入試数学解説(全問動画付) 都立戸山過去問 2018-22
■著者■
塾講師オリジナル数学解説(動画付) 広島大附 2018-22 高校入試過去問
BertotYves
【中古】大妻女子大学２００６/教学社

Our Discovery 3 セット未使用品
■発行年■
浜学園　小５　公開学力テスト　４年分　４科目　国語算数理科社会　成績資料
2010/12/15
【中古】海上保安大学校／気象大学校２００７/教学社

塾講師オリジナル入試数学解説(全問動画付) 都立青山過去問2018-22
■ISBN10■
スピードラーニング　CD 冊子　16巻セット　視聴CD付き
3642058809
【中古】大日本百科事典１５新版/小学館

【中古】富山大学（医学部〈医学科〉・薬学部）２００６/教学社
■ISBN13■
【中古】モダリティの文法/くろしお出版/益岡隆志
9783642058806
【中古】新コンサイス英和辞典　革装第２版/三省堂/佐々木達

四谷大塚　月例テスト　７回分　5年生　4教科
■コンディションランク■
【中古】難関高校合格とれる！数学/栄光（千代田区）/栄光ゼミナール中学部
非常に良い
【中古】基礎強化問題集　英文解釈/開拓社/隈部直光

イラストでサポート：基本語彙を使った英語表現演習
コンディションランク説明
【中古】英会話定型表現教本/研究社/中島弘
ほぼ新品：未使用に近い状態の商品
Dr.加藤の国試合格ノート
非常に良い：傷や汚れが少なくきれいな状態の商品
医学部学士編入新潟大学解答 H25〜31
良い：多少の傷や汚れがあるが、概ね良好な状態の商品(中古品として並の状態の商品)
【中古】知的英語の習得術/Ｇａｋｋｅｎ/北川達夫
可：傷や汚れが目立つものの、使用には問題ない状態の商品
Z会エブリスタディアドバンスト小学4年生国語

外国語大学合格セット
■コンディション詳細■
浜学園　小6　算数最高レベル特訓　復習・実践・計算テスト
書き込みありません。古本ではございますが、使用感少なくきれいな状態の書籍です。弊社基準で良よりコンデションが良いと判断された商品となります。水濡れ防止梱包の上、迅速丁寧に発送させていただきます。
医学部学士編入新潟大学解答 H22〜R3 数学物理

2019年日能研 6灘特進国語算数理科

【中古】サクセス基礎総合英語高校英語が基礎からわかる/文英堂/大西匡哉
■当社の出品一覧↓■
【中古】Ｒａｉｎ/英光社（文京区）/ウィリアム・サマセット・モーム
#ブックスドリーム出品一覧
【中古】中学校新技術・家庭科授業の基本用語辞典/明治図書出版/安東茂樹
参考書・赤本・専門書・医学書、予備校テキスト・塾テキスト・教材を30万点以上出品しています。
浜学園　小5　国語、算数、理科、社会 Sクラス復習テスト　解答、解答用紙あり

英語　数学　現代文　参考書＆問題集まとめ売り
※上記クリック後、「半角または全角スペース+検索したいワード」を追加することで、予備校名や出版社名、講師名等で絞れます。
地理　世界史　参考書＆問題集まとめ売り
例）
【中古】ドイツ語の入門
「#ブックスドリーム出品一覧駿台」
【中古】国連英検問題集Ａ級国際連合公用語・英語検定試験１９８８年版/講談社/日本国際連合協会
「#ブックスドリーム出品一覧旺文社」
【中古】英語ドンピシャつなぎ表現もっとスラスラ話すための/角川マガジンズ/松本茂（コミュニケーション教育学）
「#ブックスドリーム出品一覧四谷大塚小6算数」
【中古】海からの贈り物

化学物理参考書＆問題集まとめ売り

【中古】日本語多義語学習辞典イメージでわかる言葉の意味と使い方動詞編/アルク（品川区）/森山新
【発送予定日について】
教学社 - 赤本　いろいろ
正午12時まで（日曜日は午前9時まで）のご注文は当日に発送いたします。正午12時（日曜日は午前9時）以降のご注文は翌日に発送いたします（土曜日・日曜日・祝日も発送しています）。
【中古】用字宝典（横組み版）/東京堂出版/村松定孝
※土曜日・祝日も正午12時までのご注文は当日に発送いたします。
【中古】思い出トランプ/講談社/向田邦子
※年末年始（12/31〜1/3）は除きます。
【中古】大学入試完対　東京大学．理科

【中古】和歌山県立医科大学（医学部）２０１３/教学社
(例)
【即日発送】七田式　セブンプラスイングリッシュパーフェクト編・フレーズ編
・月曜0時〜12時までのご注文：月曜日に発送
【中古】翻訳検定傾向と対策 ’９５社会科学編
・月曜12時〜24時までのご注文：火曜日に発送
【中古】ＮＨＫラジオテキストアンコールまいにちロシア語２０１１年度４～９/ＮＨＫ出版
・土曜0時〜12時までのご注文：土曜日に発送
【中古】便利情報ファイル/リベラル社/リベラル社
・土曜12時〜24時のご注文：日曜日に発送
【中古】サミングアップ
・日曜0時〜9時までのご注文：日曜日に発送
児童英語研究所『ファーストワーズ』
・日曜9時〜24時のご注文：月曜日に発送
【中古】絵で学ぶ英会話１/英語教育協議会

2020年度浜学園小５公開テスト国語算数理科
【送付方法について】
裁断済み　鉄緑会大阪校　大阪校版東大直前講習　理系数学物理化学セット　希少
ネコポス、宅配便またはレターパックでの発送となります。
出る順公務員ウォーク問行政法

古本教科書
東北地方・新潟県・北海道・沖縄県・離島以外は、発送翌日に到着します。
こぐま　なでしこ教室　国立小学校　合格プログラム　セット
東北地方・新潟県・北海道・沖縄県・離島は、発送後2日での到着となります。
【中古】文部科学省検定済教科書実教新版数学B 7実教数B 304

理英会　基礎〜応用　小学校受験　まとめ売り

【中古】埼玉医科大学（医学部）２０１０/教学社
商品説明と著しく異なる点があった場合や異なる商品が届いた場合は、到着後30日間は無条件で着払いでご返品後に返金させていただきます。取引メッセージにてご連絡ください。

商品情報

。【中古】現代文ＳＯＳ！！上巻/中経出版/東大銀杏学舎。旺文社 - サンライズ英和辞典旺文社。【中古】慶應義塾大学（医学部）２０１０/教学社。進研ゼミ　中学講座　中１　チャレンジパッド。【中古】日用語字典毎日活用/成美堂出版/大河内昭爾。新品未使用　ＥＣＣジュニア　ＰＩ　セット　Ｊｅｌｌｙ　Ｂｅａｎｓ　英語。七田式小学生プリント　右脳　Ⅱ 新品未使用。【中古】 JAPANESE　VERB　MAGIC。医学部学士編入新潟大学解答 H28〜R2。浜学園　小5灘中合格特訓算数12回。アガルート　司法試験短答知識完成講座Ⅰ。駿台　テキスト　日本史。CASIO - 電子辞書　CASIO EX-word XD-K9850 理系モデル。進研ゼミ高校講座高3 大学受験講座 EnCollege 国語 4月号〜3月号。生物図録。【中古】５５４横浜市立大（理・医・国際文化） ’９８年度版 /世界思想社。【中古】真島の英語２００構文徹底講義/アルファベータブックス/真島謙二。中2英語完全制覇イングリッシュmap付き。進研ゼミ高校講座高3 大学受験講座 EnCollege 日本史 4月号〜3月号。【中古】広東語文法/東方書店/スティーブン・マシューズ。進研ゼミ　チャレンジ中学講座中２　1年分。中学受験グノーブル　テキスト　6年算数　土曜特訓。50年くらい前の大学教科書　4冊