An edition of Implementing mathematics with the Nuprl proof development system (1986)

Implementing mathematics with the Nuprl proof developmentsystem

by

Cover of: Implementing mathematics with the Nuprl proof developmentsystem by R. L. Constable
Preview
Borrow Listen

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
August 18, 2020 | History
Edit
An edition of Implementing mathematics with the Nuprl proof development system (1986)

Implementing mathematics with the Nuprl proof developmentsystem

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Prentice-Hall, Prentice Hall
Language
English
Pages
299

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Mathematics, Nuprl (Computer system), Data processing, Automatic theorem proving, Mathematics, data processing
Edition Availability
Cover of: Implementing mathematics with the Nuprl proof developmentsystem
Implementing mathematics with the Nuprl proof developmentsystem
1986, Prentice-Hall, Prentice Hall
in English
Cover of: Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
1986, Prentice-Hall
in English

Add another edition?

Book Details

Edition Notes

Bibliography, p264-291. - Includes index.

Published in
Englewood Cliffs, N.J, London

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9.54, QA76.9.A96 I47 1986, QA76.9.A96I47 1986

The Physical Object

Pagination
x,299p. ;
Number of pages
299

ID Numbers

Open Library
OL21135140M
Internet Archive
isbn_0134518322
ISBN 10
0134518322
LCCN
86008197
OCLC/WorldCat
13423784
Library Thing
2036060
Goodreads
5509287

Source records

Scriblio MARC record
Better World Books record
Library of Congress MARC record
Promise Item
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
August 18, 2020 Edited by ImportBot import existing book
March 11, 2019 Created by MARC Bot import existing book