Proceedings : 20th Annual IEEE Symposium on Logic in Computer Science : LICS 2005 : 26-29 June 2005, Chicago, Illinois

• • Symposium on Logic in Computer Science
• • IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• • Institute of Electrical and Electronics Engineers
• • Forall Systems IBM

• • Symposium on Logic in Computer Science
• • IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• • Institute of Electrical and Electronics Engineers
• • Forall Systems IBM

Proceedings : 20th Annual IEEE Symposium on Logic in Computer Science : LICS 2005 : 26-29 June 2005, Chicago, Illinois

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM

IEEE Computer Society, c2005

タイトル別名

Proceedings : twentieth Annual IEEE Symposium on Logic in Computer Science

大学図書館所蔵 件 / 全11件

• 京都産業大学 図書館

  007.1||SYM||200501091300

  京都大学 数理解析研究所 図書室 数研

  C-P||Chicago||200505045404

  OPAC

• 群馬大学 総合情報メディアセンター 理工学図書館 図書館

  007.6:Sy5:20th220600190

  OPAC

• 東京科学大学 大岡山図書館

  I10625/2266130932487

  OPAC

• 東京大学 大学院情報理工学系研究科 CS図

  11:L:21.202310092438

  OPAC

• 東北大学 電気通信研究所 図書室

  06050006837

  OPAC

• 東北大学 附属図書館 工学分館 図

  03050016767

  OPAC

• 名古屋大学 工学 図書室 工情報

  007.6||Sy41391530

  奈良先端科学技術大学院大学 附属図書館 図

  AC||20||20050035639

  OPAC

• 北陸先端科学技術大学院大学 附属図書館 図

  Proc.||LICS||20055051059

  OPAC

• 三重大学 附属図書館

  007.64/Sy 5/2050504715

  OPAC

• 該当する所蔵館はありません
• すべての絞り込み条件を解除する

• カーリル
• WorldCat

IEEE Computer Society Order Number: P2266

Includes bibliographical references and index