Metamath A Computer Language For Mathematical Proofs
販売元:
￥8,190
在庫あり
+ 配送料￥4,949
14日間返品ポリシー
支払い方法:
- ブランド: Lulu Press, Inc
商品詳細
商品詳細
Metamath A Computer Language For Mathematical Proofs
Metamath Is A Computer Language And An Associated Computer Program For Archiving, Verifying, And Studying Mathematical Proofs. The Metamath Language Is Simple And Robust, With An Almost Total Absence Of Hard-wired Syntax, And We Believe That It Provides About The Simplest Possible Framework That Allows Essentially All Of Mathematics To Be Expressed With Absolute Rigor. While Simple, It Is Also Powerful; The Metamath Proof Explorer (mpe) Database Has Over 23,000 Proven Theorems And Is One Of The Top Systems In The Formalizing 100 Theorems Challenge.
- ブランド: Lulu Press, Inc
- カテゴリー: コンピューター、インターネット
-
フォーマット: Hardcover
-
刊行日: 2019-06-06
-
ページ数: 248
-
著者: Norman Megill
-
言語: English
-
出版社 / レコード会社: Lulu Press | Inc
- Fruugo ID: 550921371-1115599634
- ISBN: 9780359702237
配送
配達
24時間以内に発送
-
STANDARD: ￥4,949 - 間の配達 火 03 11月 2026–金 06 11月 2026
イギリスより発送。
返品
返品
ご注文の商品は、お客様の仕様に従い、万全の状態で配送されるように最善を尽くしています。しかし、もし注文に抜けがあったり、注文したものと違う商品が届いたり、注文に満足できないその他の理由がある場合は、注文全体やその中のいずれかの商品を返品し、その全額の返金を受けることができます。