Jump to main content

yr 〜
yr

Search results 5

An introduction to the PL/CV2 programming logic / R.L. Constable, S.D. Johnson, C.D. Eichenlaub. (Lectures notes in computer science)

An introduction to the PL/CV2 programming logic / R.L. Constable, S.D. Johnson, C.D. Eichenlaub. (Lectures notes in computer science)
Paper図書
Springer-Verlag1982.<M159-A40>
National Diet Library
  • Author HeadingConstable, R. L. (Robert L.) Johnson, Scott D. Eichenlaub, C. D.

A computer system for checking proofs

A computer system for checking proofs
Paper図書
by Scott D. JohnsonUMI Research Pressc1982
Other Libraries in Japan
  • Author HeadingJohnson, Scott D.

A computer system for checking proofs

A computer system for checking proofs
Paper図書
by Scott David JohnsonUniversity Microfilms International1981
Other Libraries in Japan
  • Author HeadingJohnson, Scott D.

An introduction to the PL/CV2 programming logic : gw : us

An introduction to the PL/CV2 programming logic : gw : us
Paper図書
R.L. Constable, S.D. Johnson, C.D. EichenlaubSpringer-Verlag1982
Other Libraries in Japan
  • Author HeadingConstable, R. L. (Robert L.) Johnson, Scott D. Eichenlaub, C. D.

A programming logic : with an introduction to the PL/CV verifier

A programming logic : with an introduction to the PL/CV verifier
Paper図書
Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. JohnsonWinthrop Publishersc1978
Other Libraries in Japan
  • Author HeadingConstable, R. L. (Robert L.) O'Donnell, Michael J. Johnson, Scott D.

Reached to the end of result.

RSS