書誌事項

Semantic structures

edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky

(Handbook of logic in computer science, v. 3)

Clarendon Press, 1994

大学図書館所蔵 件 / 72

この図書・雑誌をさがす

注記

Includes bibliographical references and index

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

詳細情報

  • NII書誌ID(NCID)
    BA2490965X
  • ISBN
    • 019853762X
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Oxford
  • ページ数/冊数
    xiii, 490 p.
  • 大きさ
    24 cm
  • 親書誌ID
ページトップへ