A computer system for checking proofs /

Bibliographic Details
Main Author:	Johnson, Scott D.
Format:	Book
Language:	English
Published:	Ann Arbor, Mich. : UMI Research Press, [1982]
Series:	Computer science. Artificial intelligence ; no. 12.
Subjects:	Computer programs > Verification. PL/CV (Computer program language)

Remote Storage