- 当日発送
- 送料無料
売れ筋がひ贈り物! ビジネス/経済 Interactive Program and Proving Theorem ビジネス/経済
- 販売価格 :
-
¥5780税込
- 獲得ポイント :
- ポイント
当日発送可 (14:00までのご注文が対象)
- ※
ご注文内容・出荷状況によっては当日発送できない場合もございます。
詳しくはこちらよりご確認ください。
利用可
- ※
ポストにお届け / 一点のみ購入でご利用可能です。
ゆうパケットでのお届けの場合はサンプル・ノベルティが対象外となります。
ゆうパケットには破損・紛失の保証はございません。
詳しくはこちらよりご確認ください。
商品の詳細
カテゴリー: | 本・音楽・ゲーム>>>本>>>ビジネス/経済 |
---|---|
商品の状態: | 目立った傷や汚れなし |
色: | ブラック系/レッド系/ブルー系 |
配送料の負担: | 送料込み(出品者負担) |
配送の方法: | 佐川急便/日本郵便 |
発送元の地域: | 山梨県 |
発送までの日数: | 1~2日で発送 |
商品の説明
Interactive Theorem Proving and Program Development: Coq'Art: The

Interactive Theorem Proving and Program Development: Bertot, Yves

Statement and Proof of the Tietze Extension Theorem
Solved c. 1.9 Use the construction in the proof of Theorem | Chegg.com
Theorem Proving by Resolution 4365 Artificial | Chegg.com
最新のクチコミ
小学生低学年も年少児も喜んで読んでます。 楽しいみたい。
- m755
- 33歳
- アトピー
- クチコミ投稿 1件
購入品
「せかいのちずえほん」か「日本の地図を覚える絵本」はどうかなっと考えていたのですが、娘がこちらの本を選びました。何でも興味を持って読んでくれているので嬉しいです。
- ひーママ8789
- 21歳
- アトピー
- クチコミ投稿 1件
購入品
こびとづかん大好きな孫娘へ、クリスマスプレゼントに購入しました。なんでこんな絵が・・・大人気との事で、びっくりです。周りの小さい子に聞いても皆大好きと答えます。おばあちゃんには、付いていけない絵ですが。でも、喜ぶ顔が早くみたいです。
- とらちあーち
- 29歳
- アトピー
- クチコミ投稿 1件
購入品
ちょっとオビが折れてたのが残念でしたが内容はとても良い絵本でした。子供もわかりやすいお話だと思います。
- アル乗り3265
- 37歳
- アトピー
- クチコミ投稿 1件
購入品
年少児へのプレゼントに。 小学生低学年だと1回見て飽きちゃうけど年少児には、好評で何度も読んでる。
- もき1980
- 25歳
- アトピー
- クチコミ投稿 1件
購入品
映画そのままの絵と内容良く読んであげるのが楽しみです
- 引く引く
- 33歳
- アトピー
- クチコミ投稿 1件
購入品
この本だけ50円ほど高かった。 でも、シリーズで揃えたかったので購入しました。
- mionyannyan
- 41歳
- アトピー
- クチコミ投稿 1件
購入品
絵がおもしろかわいく、内容もほっこりとします。子どもたちも面白いと喜んでます。
- tatsusan0510
- 29歳
- アトピー
- クチコミ投稿 1件
購入品
気になってた作品、お安く買えて、大満足です。新品のように美品でしたし、安いうえに、送料無料でしたので、即決でした。ありがとうございました。tamaさんの作品もたいへん可愛く、さいこーでした。
- シュウ891114
- 37歳
- アトピー
- クチコミ投稿 1件
購入品
2歳半のトーマス大好き息子に購入。まちがいさがしが大好きなのですぐに終わってしまいましたが、時折持ってきてまたやってます。
- mana81900
- 45歳
- アトピー
- クチコミ投稿 1件
購入品
5歳になる孫へ。 保育園でお馴染みノンタンは、とても楽しそうに読んでます。 可愛いノンタンや、内容・色彩も綺麗なので、幼児を引き付けるのでしょうね。 ノンタンシリーズは、お値段により本の大きさが違うのですね。
- アルマジロ0821
- 33歳
- アトピー
- クチコミ投稿 1件
購入品
意外に大きかった!よく見てなかった。でも時計の針も動かしやすいし、ストーリー性や自分の生活スタイルと重ね合わせて時計に触れられるので、ただ時計を買うよりは学びになりよかった。
- どりどり4321
- 41歳
- アトピー
- クチコミ投稿 1件
購入品
ビジネス/経済
-
-
5
鉄筋コンクリート構造計算規準・同解説
健康/医学
¥5,863
この商品を見ている人におすすめ
-
-
1
SnowMania S1 3形態
邦楽
¥7,980
-
5
2PM ジュノ DVD
ミュージック
¥9,120
-