Implementing mathematics with the Nuprl proof development system :: ISBN 0134518322 :: Prentice-Hall 1986 :: OBNB, the Open British National Bibliography

Publication Data

Title Implementing mathematics with the Nuprl proof development system
Contributor R. L. Constable
Publisher Prentice-Hall
Publication date 1986
Publication location Englewood Cliffs, N.J.
Language English

Descriptive Notes

Bibliography: p264-291. _ Includes index.

Topics

Automatic theorem proving
Nuprl (Computer system)
011299623

Catalogue Data

OBNB ID GB8804921
ISBN 10 0134518322
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 x,299p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Implementing mathematics with the Nuprl proof development system. ISBN 0134518322. Published by Prentice-Hall in 1986. Publication and catalogue information, links to buy online and reader comments.