Ada 95
David A. Wheeler
₹4,331
Metamath
A Computer Language for Mathematical Proofs
by David A. Wheeler, Norman Megill
Lulu.com · 2019 · Hardcover
₹3,131
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Metamath: A Computer Language for Mathematical Proofs is written by David A. Wheeler & Norman Megill. This hardcover edition from Lulu.com (2019) has 248 pages.
Book details
- ISBN-13
- 9780359702237
- ISBN-10
- 0359702236
- Authors
- David A. Wheeler, Norman Megill
- Publisher
- Lulu.com
- Published
- 2019
- Binding
- Hardcover
- Pages
- 248
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by David A. Wheeler and related titles
The Defence of Malaysia and Singapore
Kin Wah Chin
₹4,028
Rough Fuzzy Image Analysis
Sankar K. Pal
₹18,781
Code Connected
Pieter Hintjens
₹2,526
On the Mathematical Modeling of Memristor, Memcapacitor, and Meminductor
Mohammed E. Fouda, Ahmed G. Radwan
₹7,746
Thinking Machines
Shigeyuki Takano
₹5,918
Computational and Cognitive Neuroscience of Vision
Qi Zhao
₹8,173
SFML Essentials
Milcho G. Milchev
₹3,117
R-calculus
Haizhou Li
₹3,438
Yearbook of International Humanitarian Law Volume 15, 2012
Terry D. Gill, Robert Heinsch, Tim McCormack, Christophe Paulussen, Jessica Dorsey
₹8,160
Defining Eastern Europe
Piotr Twardzisz
₹6,998
Large Sample Covariance Matrices and High-Dimensional Data Analysis
Shurong Zheng, Zhidong Bai, Jianfeng Yao
₹3,467