Implementing Mathematics With the Nuprl Proof Development System - Couverture souple

Constable, R L

 
9781468059106: Implementing Mathematics With the Nuprl Proof Development System
Couverture souple
ISBN 10 : 1468059106 ISBN 13 : 9781468059106
Editeur : Createspace Independent Publishing Platform, 2012

Synopsis

Four goals of the book:

  1. Offer a tutorial on mathematical ideas which underlie our research
  2. Serve as a manual for users of the Nuprl system
  3. Give an overview of the project for those interested in applications of the results and for those inclined to basic research in the area
  4. Present research which has arisen as we have worked on the Nuprl system

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Createspace Independent Publishing Platform
Date d'édition
2012
Langue
anglais
ISBN 10 
1468059106
ISBN 13 
9781468059106
Reliure
Broché
Nombre de pages
310
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780134518329: Implementing Mathematics With the Nuprl Proof Development System

Edition présentée

ISBN 10 :  0134518322 ISBN 13 :  9780134518329
Editeur : Prentice Hall, 1986
Couverture rigide