Metamath: A Computer Language for Mathematical Proofs

AvNorman Megill,David A. Wheeler

Inbunden, Engelska, 2019

491 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

David A. Wheeler - Ada 95, E-bok

Ada 95

David A. Wheeler

E-bok
2012

732 kr

David A. Wheeler - Ada 95, Häftad

Ada 95

David A. Wheeler

Häftad, 2012

572 kr

Lars Kepler - Medusa, Inbunden
  • Nyhet
Del 11

Medusa

Lars Kepler

Inbunden, 2026

269 kr