Implementing Mathematics With the Nuprl Proof Development System - Brossura

Constable, R. L.

 
9781468059106: Implementing Mathematics With the Nuprl Proof Development System
Brossura
ISBN 10: 1468059106 ISBN 13: 9781468059106
Casa editrice: Createspace Independent Pub, 2012

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Createspace Independent Pub
Data di pubblicazione
2012
Lingua
Inglese
ISBN 10 
1468059106
ISBN 13 
9781468059106
Rilegatura
Copertina flessibile
Numero di pagine
310
Contatto del produttore
non disponibile
Persona responsabile
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Germania

Altre edizioni note dello stesso titolo

9780134518329: Implementing Mathematics With the Nuprl Proof Development System

Edizione in evidenza

ISBN 10:  0134518322 ISBN 13:  9780134518329
Casa editrice: Prentice Hall, 1986
Rilegato