Implementing Mathematics With the Nuprl Proof Development System - Softcover

Constable, R. L.

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

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Createspace Independent Publishing Platform
Erscheinungsdatum
2012
Sprache
Englisch
ISBN 10 
1468059106
ISBN 13 
9781468059106
Einband
Taschenbuch
Anzahl der Seiten
310
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
KreGa Onlinehandel GmbH
4950000000000
info@krega-onlinehandel.de

Birkenweg 31
Brakel
33034
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780134518329: Implementing Mathematics With the Nuprl Proof Development System

Vorgestellte Ausgabe

ISBN 10:  0134518322 ISBN 13:  9780134518329
Verlag: Prentice Hall, 1986
Hardcover