Implementing Mathematics With the Nuprl Proof Development System - Tapa blanda

Constable, R. L.

 
9781468059106: Implementing Mathematics With the Nuprl Proof Development System
Tapa blanda
ISBN 10: 1468059106 ISBN 13: 9781468059106
Editorial: Createspace Independent Pub, 2012

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Createspace Independent Pub
Año de publicación
2012
Idioma
Inglés
ISBN 10 
1468059106
ISBN 13 
9781468059106
Encuadernación
Tapa blanda
Número de páginas
310
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9780134518329: Implementing Mathematics with the NUPRL Proof Development System

Edición Destacada

ISBN 10:  0134518322 ISBN 13:  9780134518329
Editorial: Prentice Hall, 1986
Tapa dura