Metamath: A Computer Language for Mathematical Proofs

Name: Metamath: A Computer Language for Mathematical Proofs
Brand: Lulu.com
SKU: 9780359702237
Price: 36.11 EUR
Availability: InStock

Автор: Norman Megill, David A. Wheeler

Език:

Корици: С твърди корици

Издател: Lulu.com

Наличност: Външен склад

Изпращаме след 9-15 дни

36.11 € 70.63 лв

Metamath is a computer language and an associated computer program for archiving, verifying, and stu...

Информация за книгата

Автор

Norman Megill, David A. Wheeler

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2019

страници

248

EAN

9780359702237

ISBN

0359702236

Enbook ID

22618280

Издател

Lulu.com

Теглоt

498

Размери

152 x 229 x 18

Пълно описание

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 ab

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Metamath: A Computer Language for Mathematical Proofs

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също