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

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 20, 2024 | 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 development system
Implementing mathematics with the Nuprl proof development system
1986, Prentice-Hall
in English
Cover of: Implementing mathematics with the Nuprl proof developmentsystem
Implementing mathematics with the Nuprl proof developmentsystem
1986, Prentice-Hall, 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

Edition Identifiers

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

Work Identifiers

Work ID
OL19184133W

Source records

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

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
July 20, 2024 Edited by MARC Bot import existing book
March 21, 2024 Edited by Scott365Bot Linking back to Internet Archive.
May 26, 2023 Edited by ImportBot import existing book
November 17, 2022 Edited by ImportBot import existing book
November 1, 2008 Created by ImportBot Imported from Talis record