---

＜図書＞
A computer system for checking proofs / by Scott D. Johnson.
(Computer science. Artificial intelligence ; no. 12)

出版者	Ann Arbor, Mich. : U. M. I. Research Press
出版年	c1982.
大きさ	xiv, 262 p. : ill. ; 24 cm.
著者標目	Johnson, Scott D.
件　名	Computer programs -- Verification  全ての件名で検索 PL/CV (Computer program language)
一般注記	Revision of the author's thesis (Ph. D.)--Cornell University, 1981. ＼ Includes index.

 類似資料