Metamath A Computer Language For Mathematical Proofs

₩69,090
+ ₩50,049 배송

Metamath A Computer Language For Mathematical Proofs

판매자::
  • product image

₩69,090

재고 있음
+ ₩50,049 배송

14일 반품 정책

결제 방법:

제품 상세 정보

제품 상세 정보

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
  • 카테고리: Computing & Internet
  • 출판사/레이블: Lulu Press | Inc
  • 페이지 수: 248
  • 형식: Hardcover
  • 언어: English
  • 출판일: 2019-06-06
  • 저자: Norman Megill
  • Fruugo ID: 550921371-1115599634
  • ISBN: 9780359702237
배송

배달

24시간 이내에 발송됨

  • STANDARD: ₩50,049 - 배달 사이 화 27 10월 2026–화 24 11월 2026

영국에서 발송.

반품

보고

당사는 귀하께서 주문하신 제품이 주문 명세에 따라 빠짐없이 배송되도록 온 힘을 기울이고 있습니다. 다만, 주문하신 것과 다른 상품이 배송되거나 빠진 상품이 있는 경우, 또는 주문 내용에 만족할 수 없는 다른 이유가 있는 경우에는 주문 전체나 주문에 포함된 일부 제품을 반품하시고 해당 상품에 대해 전액 환불받으실 수 있습니다.

전체 반품 정책 보기