Proceedings : 21st Annual IEEE Symposium on Logic in Computer Science : LICS 2006 : 12-15 August 2006, Seattle, Washington

• • Symposium on Logic in Computer Science
• • IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• • Cadence

• • Symposium on Logic in Computer Science
• • IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• • Cadence

Proceedings : 21st Annual IEEE Symposium on Logic in Computer Science : LICS 2006 : 12-15 August 2006, Seattle, Washington

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [et al.]

IEEE Computer Society, c2006

タイトル別名

Proceedings : twenty-first Annual IEEE Symposium on Logic in Computer Science

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

• 京都産業大学 図書館

  007.1||SYM||2006

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

  C-P||Seattle||2006200001577508

  OPAC

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

  007.6:Sy5:21th220600323

  OPAC

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

  06070000023

  OPAC

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

  007.1||W41421696

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

  Proc.||LICS||20065061205

  OPAC

• 三重大学 附属図書館

  007.64/Sy 5/2150701685

  OPAC

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

• カーリル
• WorldCat

IEEE Computer Society Order Number: P2631

Includes bibliographical references and index