Compară ofertele (1)
Prețurile sunt preluate automat din feed-urile magazinelor și pot diferi față de site-ul magazinului. Verifică prețul final la magazin.
Descriere Metamath: A Computer Language for Mathematical Proofs - Norman Megill
\nMetamath 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. This book explains the Metamath language and program, with specific emphasis on the fundamentals of the MPE database.
Detalii
- Brand
- Lulu
- Categorie
- ENSTK
- EAN / GTIN
- 9780359702237
- Magazine
- 1
- Disponibilitate
- in stock
Produse similare
Lulu
A Strega's Grimoire: The Rituals - Patricia Della-piana
282,35 RON
libris.ro
Lulu
The Magus: A Complete System of Occult Philosophy, Alchemy and Magic Lore in Three Books (Hardcover) - Francis Barrett
282,50 RON
libris.ro
Lulu
Eusebius' Ecclesiastical History: The Ten Books of Christian Church History, Complete and Unabridged (Hardcover) - Eusebius Pamphilus
282,50 RON
libris.ro
Lulu
Abstract of Systematic Theology: Christian Theology and the Spirituality of God and His Son, Jesus Christ (Hardcover) - James Petigru Boyce
282,50 RON
libris.ro
Lulu
Hexcraft - Johnny Xoxo
282,63 RON
libris.ro
Lulu
The Isaiah Matrix - Dustin Blystone
281,83 RON
libris.ro
Lulu
A Century of Dishonor: The Classic Exposé of the Plight of the Native Americans (Historic Journals) (Hardcover) - Helen Hunt Jackson
283,17 RON
libris.ro
Lulu
Matsumura no Seisan: Unraveling the Mystery of Okinawan Classical Kata - Donald Hayhurst
283,54 RON
libris.ro