当日発送
送料無料

【送料無料キャンペーン?】【美品】Interactive Theorem Proving and ... 参考書

お気に入りブランド

クチコミ評価 4.9（32件）

販売価格：: ￥6800税込
獲得ポイント：: ポイント

商品がカートに追加されました

販売価格：￥6800 税込

お買い物を続けるカートへ進む

在庫あり

※ 商品のお届けについてはこちらよりご確認ください。

SHOPPING が販売、発送いたします。

当日発送可 (14:00までのご注文が対象)

※
ご注文内容・出荷状況によっては当日発送できない場合もございます。
詳しくはこちらよりご確認ください。

利用可

※
ポストにお届け / 一点のみ購入でご利用可能です。
ゆうパケットでのお届けの場合はサンプル・ノベルティが対象外となります。
ゆうパケットには破損・紛失の保証はございません。
詳しくはこちらよりご確認ください。

商品の詳細

Interactive Theorem Proving and Program Development 参考書ハードカバー版です。ペーパーバックと違って重厚感があっていいですね。本品は貴重な自動定理証明やcoqに関する教科書です。形式手法に興味がある学生や研究者にとっては必読書といえるほどの名著だと思います。書き込みや目立つ汚れなしAmazonでの参考価格は16490円ご検討よろしくお願いします。

カテゴリー:	本・音楽・ゲーム>>>本>>>参考書
商品の状態:	目立った傷や汚れなし
配送料の負担:	送料込み(出品者負担)
配送の方法:	佐川急便/日本郵便
発送元の地域:	石川県
発送までの日数:	1~2日で発送

商品の説明

Interactive Theorem Proving and Program Development: Bertot, Yves

San Francisco Theorema - GM-116-1 |Silver| MADE IN GERMANY WATCH

St. Petersburg Theorema | Black | GM-121-9 Made in Germany Watch

Sao Paulo Theorema GM-103-11 Made in Germany – Theorema Watches

クチコミ評価

4.9

(32件)

7		9件
6		9件
5		9件
4		5件
3		1件
2		1件
1		0件
0		0件
評価なし		9件

この商品にクチコミする

最新のクチコミ

★★★★
2024-05-17

3歳になる孫のために購入しました。喜ぶ姿を想像しています。

tad7tivrusky

37歳

アトピー

クチコミ投稿 1件

購入品

★★★★★
2024-03-23

娘のクリスマスプレゼントに購入しました。発送もとても早く助かりました。ラッピングしてくれるともっと助かりますが、自分でも出来ることなので包装紙など購入してラッピングしようと思います。レビューも良いのでクリスマス後の娘の反応が楽しみです♡

bell6189

25歳

アトピー

クチコミ投稿 1件

購入品

★★★
2024-05-15

"4歳の娘に購入しました。同じシリーズのがんばりひらがなを買っていましたが、あまりうまくできず運筆からもう一度やろうと思って購入しました。 2

makitaro1900

33歳

アトピー

クチコミ投稿 1件

購入品

★★★★★
2024-03-09

迷路好きで、色々な難しそうな迷路をしていますが、わりと簡単にやりこなすので、もっと難しそうなこちらを購入。4歳では立体？が理解しにくく、時間がかかり苦戦していました。5歳になりできるものも増えてきて、6歳前には早くできるようになりました。面白い内容でした。

てふ＿

41歳

アトピー

クチコミ投稿 1件

購入品

★★★★
2024-05-13

春休み用に購入。すみっコぐらしで喜んでいました。

てん6464

29歳

アトピー

クチコミ投稿 1件

購入品

★★★★★
2024-02-24

かんたんめいろに引き続き購入しました。動物や乗り物などの形にめいろができているので楽しく取り組めます。

sakuramic

37歳

アトピー

クチコミ投稿 1件

購入品

★★★★
2024-05-11

孫向けに購入。５歳の子供には、とても楽しい一冊になりました。

syou-ma

45歳

アトピー

クチコミ投稿 1件

購入品

★★★★★
2024-05-25

4才の子が取り組みました。うちの子にはまだちょっと難しそうでした。ドリルは一回で終わってしまうけど、アプリだと繰り返せるので、満足です！

tamagorikun

33歳

アトピー

クチコミ投稿 1件

購入品

★★★★
2024-05-18

こどもがすみっコぐらしが好きなので購入しました。近くの本屋さんには売っていなかったので楽天ブックスさんで購入しました。どのページにもすみっコがいて喜んでいました。シールもかわいかったです！もう少しページ（問題）数が多いとよかったです。

ぺっとげん

41歳

アトピー

クチコミ投稿 1件

購入品

★★★★★
2024-05-23

注文して1週間経ちますが、まだ届きません。遅れる連絡もありません。残念です。

20代男性5320

29歳

アトピー

クチコミ投稿 1件

購入品

★★★★
2024-05-04

おかげさまで清明学園初等部と東京三育小学校に合格しました。良い教材を取り扱って頂きありがとうございました。これからもお受験の人たちのために御社がご活躍されるようお祈り申し上げます。ご報告と御礼まで。

my(*^-^*)/

37歳

アトピー

クチコミ投稿 1件

購入品

★★★★★
2024-05-21

4歳の娘に買いました。はさみが苦手なのでまずは簡単な基礎からと思い、購入しています。紙の硬さがちょうどいいのかさくさく進めてすぐ終わってしまいました。終わる頃には丸や曲線も切れるので、基礎から始めて自信がついたようです。次のステップのドリルも購入しているのでこれから進める予定です。

tg292009

45歳

アトピー

クチコミ投稿 1件

購入品

★★★
2024-04-20

これから使用します。カラーで見やすいと思います。

まろん1717

33歳

アトピー

クチコミ投稿 1件

購入品

★★★★★
2024-05-19

すみっコぐらしのドリルなので、購入してみました。とてもかわいい感じがよいですね。

niko8606

41歳

アトピー

クチコミ投稿 1件

購入品

★★★★
2024-04-06

間もなく5歳になる娘がとても気に入って毎日やっています。市販のドリルは高いけど一回やってしまったら終わりですし、100均のドリルもあっという間に終わらせてしまうのと違い、できるーとは理解するまで何回もアプリで解くことが出来て身になっているように感じました。周りの方にもおすすめしています。続けて2.3も購入予定です。

Nair.Jp

49歳

アトピー

クチコミ投稿 1件

購入品