Metamath: A Computer Language for Mathematical Proofs 1
bokomslag Metamath: A Computer Language for Mathematical Proofs
Data & IT

Metamath: A Computer Language for Mathematical Proofs

Norman Megill • David A Wheeler

Inbunden

639:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 2019
  • Författare: Norman Megill, David A Wheeler
  • Format: Inbunden
  • ISBN: 9780359702237
  • Språk: Engelska
  • Utgivningsdatum: 2019-06-06
  • Förlag: Lulu.com

Du kanske gillar

  1. bokomslag Metamaths

    Metamaths

    Gregory Chaitin

    Pocket

    249:-
  2. bokomslag Nelson's Annual Preacher's Sourcebook, Volume 1

    Nelson's Annual Preacher's Sourcebook...

    Kent Spann, David A Wheeler, David A Wheeler

    Pocket

    299:-
  3. bokomslag Common-School Dictionary of the English Language

    Common-School Dictionary of the Engli...

    William A Wheeler William G Webster

    Pocket

    1009:-
  4. bokomslag The Hidden Life: Finding out why you matter

    The Hidden Life: Finding out why you ...

    David Megill

    Häftad

    259:-
  5. bokomslag Män och kvinnor

    Män och kvinnor

    Lena Andersson

    Inbunden

    299:-
  6. bokomslag Tranorna flyger söderut

    Tranorna flyger söderut

    Lisa Ridzén

    Pocket

    125:-
  7. bokomslag Power of Spiritual Vigilance

    Power of Spiritual Vigilance

    Denise A Wheeler Denise A Wheeler

    Pocket

    109:-
  8. bokomslag C2it Facilitator's Guide: Faith, Fellowship, and Freedom

    C2it Facilitator's Guide: Faith, Fell...

    David Megill

    Häftad

    259:-
  9. Ny
    bokomslag Sommarhemmet : inreda, laga, fixa & odla

    Sommarhemmet : inreda, laga, fixa & odla

    Sofia Wood • Elsa Billgren

    Inbunden

    349:-
  10. bokomslag Corporate Memory

    Corporate Memory

    Kenneth A Megill

    Inbunden

    2249:-

Andra av samma författare

  1. bokomslag Ada 95

    Ada 95

    David A Wheeler

    Inbunden

    1189:-
  2. bokomslag Nelson's Annual Preacher's Sourcebook, Volume 1

    Nelson's Annual Preacher's Sourcebook...

    Kent Spann, David A Wheeler, David A Wheeler

    Pocket

    299:-
  3. bokomslag Ada 95

    Ada 95

    David A Wheeler

    Pocket

    749:-