本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springer-Verlag1982.<M159-A40>
国立国会図書館
  • 著者標目Constable, R. L. (Robert L.) Johnson, Scott D. Eichenlaub, C. D.

A computer system for checking proofs

A computer system for checking proofs
紙図書
by Scott D. JohnsonUMI Research Pressc1982
全国の図書館
  • 著者標目Johnson, Scott D.

A computer system for checking proofs

A computer system for checking proofs
紙図書
by Scott David JohnsonUniversity Microfilms International1981
全国の図書館
  • 著者標目Johnson, Scott D.

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

An introduction to the PL/CV2 programming logic : gw : us
紙図書
R.L. Constable, S.D. Johnson, C.D. EichenlaubSpringer-Verlag1982
全国の図書館
  • 著者標目Constable, 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
紙図書
Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. JohnsonWinthrop Publishersc1978
全国の図書館
  • 著者標目Constable, R. L. (Robert L.) O'Donnell, Michael J. Johnson, Scott D.

検索結果は以上です。

RSS