Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

書誌事項

Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

Samson Abramsky (ed.)

(Lecture notes in computer science, 2044)

Springer-Verlag, c2001

大学図書館所蔵 件 / 39

この図書・雑誌をさがす

注記

Includes bibliographies and index

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

詳細情報

  • NII書誌ID(NCID)
    BA51819403
  • ISBN
    • 3540419608
  • LCCN
    01031431
  • 出版国コード
    gw
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Berlin ; Tokyo
  • ページ数/冊数
    xi, 429 p.
  • 大きさ
    24 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ