Bokus
Norman Megill, David A. Wheeler - Metamath: A Computer Language for Mathematical Proofs, Inbunden

Inbunden, Engelska, 2019

Metamath: A Computer Language for Mathematical Proofs

Av Norman Megill, David A. Wheeler

502 kr

Skickas inom 5-8 vardagar

Beskrivning
Produktinformation
  • Utgivningsdatum: 2019-06-06
  • Mått: 152 x 229 x 18 mm
  • Vikt: 515 g
  • Format: Inbunden
  • Språk: Engelska
  • Antal sidor: 248
  • Förlag: Lulu.com
  • ISBN: 9780359702237
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.