Implementing Mathematics with The Nuprl Proof Development System 1
bokomslag Implementing Mathematics with The Nuprl Proof Development System
Data & IT

Implementing Mathematics with The Nuprl Proof Development System

R L Constable

Häftad

279:-

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

Uppskattad leveranstid 3-8 arbetsdagar

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

  • 310 sidor
  • 2012
  • Författare: R L Constable
  • Format: Häftad
  • ISBN: 9781468059106
  • Språk: Engelska
  • Antal sidor: 310
  • Utgivningsdatum: 2012-01-01
  • Förlag: Createspace Independent Publishing Platform

Du kanske gillar

  1. bokomslag An Introduction to the PL/CV2 Programming Logic

    An Introduction to the PL/CV2 Program...

    R L Constable, S D Johnson, C D Eichenlaub

    Pocket

    769:-
  2. bokomslag Thomas Constable's Notes on the Bible Vol. VIII

    Thomas Constable's Notes on the Bible...

    Thomas L Constable

    Häftad

    559:-
  3. Hitster Rock

    Hitster Rock

    Spel, Hitster

    299:- (349:-)
  4. bokomslag Thomas Constable Notes on the Bible: Volume V Hosea- Malachi

    Thomas Constable Notes on the Bible: ...

    Thomas L Constable

    Häftad

    539:-
  5. bokomslag Thomas Constable's Notes on the Bible: Volume X

    Thomas Constable's Notes on the Bible...

    Thomas L Constable

    Häftad

    539:-
  6. bokomslag Thomas Constable's Notes on the Bible: Volume II Joshua-Esther

    Thomas Constable's Notes on the Bible...

    Thomas L Constable

    Häftad

    539:-
  7. bokomslag Thomas Constable's Notes on the Bible: Vol. 9: 1 Corinthians - Ephesians

    Thomas Constable's Notes on the Bible...

    Thomas L Constable

    Häftad

    539:-
  8. bokomslag Logic and Program Semantics

    Logic and Program Semantics

    Alexandra Silva Robert L Constable

    Pocket

    769:-
  9. bokomslag Thomas Constables Notes on the Bible: Vol IV Isaiah- Daniel

    Thomas Constables Notes on the Bible:...

    Thomas L Constable

    Häftad

    699:-
  10. bokomslag Talking to God

    Talking to God

    Thomas L Constable

    Pocket

    369:-

Andra av samma författare

  1. bokomslag An Introduction to the PL/CV2 Programming Logic

    An Introduction to the PL/CV2 Program...

    R L Constable, S D Johnson, C D Eichenlaub

    Pocket

    769:-