Akademibokhandeln
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

649 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Butikslager

Ej i lager i butik.

Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.