This book is currently unavailable on Open Library, check out available alternatives.
An edition of A computer system for checking proofs (1982)

A computer system for checking proofs

by

Cover of: A computer system for checking proofs by Scott D. Johnson, Scott D. Johnson
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

My Reading Lists:

Create a new list

Only you can see this

Save Note
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by Open Library Bot
December 5, 2010 | History
Edit
An edition of A computer system for checking proofs (1982)

A computer system for checking proofs

by

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

Publish Date
Publisher
UMI Research Press
Language
English
Pages
262

Subjects

Computer programs PL/CV (Computer program language) Verification
Edition Availability
Cover of: A computer system for checking proofs
A computer system for checking proofs
1982, UMI Research Press
in English

Add another edition?

Book Details

Edition Notes

Bibliography: p. [253]-258.
Revision of the author's thesis (Ph. D.)--Cornell University, 1981.
Includes index.

Published in
Ann Arbor, Mich
Series
Computer science., no. 12

Classifications

Dewey Decimal Class
001.64/25
Library of Congress
QA76.6 .J65 1982

The Physical Object

Pagination
xiv, 262 p. :
Number of pages
262

Edition Identifiers

Open Library
OL3487382M
ISBN 10
0835713431
LCCN
82006990
Goodreads
3996809

Work Identifiers

Work ID
OL5900495W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON