Explore Books on
plcv (computer program language)
1-6 of 6 Books
View A computer system for checking proofs By Scott D. Johnson 
A computer system for checking proofs
By Scott D. Johnson
View An introduction to the PL/CV2 programming logic By Robert L. Constable 
An introduction to the PL/CV2 programming logic
By Robert L. Constable
View An introduction to the PL/CV2 programming logic By R. L. Constable 
An introduction to the PL/CV2 programming logic
By R. L. Constable
View An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science) By R. L. Constable,S. D. Johnson,C. D. Eichenlaub 
An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)
By R. L. Constable,S. D. Johnson,C. D. Eichenlaub
