Computation and reasoning : a type theory for computer science

書誌事項

Computation and reasoning : a type theory for computer science

Zhaohui Luo

(The International series of monographs on computer science, v. 11)

Clarendon Press , Oxford University Press, 1994

大学図書館所蔵 件 / 25

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA22519701
  • ISBN
    • 0198538359
  • LCCN
    93046644
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Oxford,New York
  • ページ数/冊数
    xi, 228 p.
  • 大きさ
    25 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ