Implementing Mathematics with The Nuprl Proof Development System

Name: Implementing Mathematics with The Nuprl Proof Development System
Brand: Createspace Independent Publishing Platform
SKU: 9781468059106
Price: 69.25 RON
Availability: InStock

Autor: R L Constable

Limbă:

Legare: Carte broșată

Editura: Createspace Independent Publishing Platform

Disponibilitate: În depozitul extern

Expediem în 9-15 zile

69.25 lei

Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as...

Informații despre carte

Autor

R L Constable

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2012

Pagini

310

EAN

9781468059106

ISBN

1468059106

Enbook ID

17068327

Editura

Createspace Independent Publishing Platform

Greutate

417

Dimensiuni

152 x 229 x 17

Descriere completă

Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as a manual for users of the Nuprl system Give an overview of the project for those interested in applications of the results and fo

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Implementing Mathematics with The Nuprl Proof Development System

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și