A computer system for checking proofs

A computer system for checking proofs
by Scott D. Johnson
Publisher: Ann Arbor, Mich. : UMI Research Press, c1982.
ISBN: 0835713431 DDC: 1.6425 LCC: QA76.6

Notes:

Revision of the author's thesis (Ph. D.)--Cornell University, 1981.

Bibliography: p. [253]-258.

Includes index.

Bibliography: p. [253]-258.

Classification:

(click to see other 'Books on the Same Shelf')

Dewey Class: 1.6425 -- Knowledge
LCC Number: QA76.6

Book Details:

Language: eng
Physical Description: xiv, 262 p. : ill. ; 24 cm.

Similar Books:

•	An introduction to the PL/CV2 programming logic (R. L. Constable, S. D. Johnson, C. D. Eichenlaub; ISBN: 0387114920; (U.S.); 100% match)
•	A programming logic (Robert L. Constable, Michael J. O'Donnell; contributions by Scott D. Johnson; ISBN: 0876267266; 90% match)
•	An introduction to the PL/CV2 programming logic (R. L. Constable, S. D. Johnson [and] C. D. Eichenlaub; ISBN: 3540114920; 90% match)
•	...more similar books

Subjects:

Click on a subject to see other books listed with the same subject or to drill down into components of the subject -- such as geographical locations, dates and so on.

•	Computer programs -- Verification (40)
•	PL/CV (Computer program language) (5)

Buying this book:

We query many merchants so that you can instantly compare prices and availability. You can even check historic prices and subscribe for notifications. For a manual check, clicking on a link will open a new window with a search for this book on the merchant's site of your choice.

•	Amazon.com by title or by ISBN — widest selection, reliable service, good prices
•	Abebooks.com by title or by ISBN — good source for rare and out-of-print books
•	Textbooks.com by title or by ISBN — large inventory of new & used textbooks with free shipping (on orders over $25)
•	Alibris.com by title or by ISBN — their slogan is "books you thought you'd never find"
•	eCampus.com by title or by ISBN — they specialize in textbooks, used and new
•	BN.com by title or by ISBN — Barnes & Noble has a wide selection of new and used books

Libraries this book has an entry in:

•	La Trobe University (Melbourne, Australia) (last modified on 01/28/2009)
•	Carleton College (Northfield, MN) (last modified on 10/23/2008)
•	North Carolina (Coastal) Database (last modified on 03/12/2008)
•	Missouri Education and Research Library Information Network (MERLIN) (last modified on 06/25/2007)
•	Arizona State University (last modified on 06/04/2007)
•	Michigan State University (last modified on 01/07/2005)
•	Memorial University of Newfoundland Search Form (last modified on 08/05/2004)

FAQ | Privacy Policy | Contact ISBNdb.com