Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland

著者

• Symposium on Logic in Computer Science
• IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• Uniwersytet Warszawski
• Association for Computing Machinery. Special Interest Committee for Automation and Computability
• Association for Symbolic Logic
• European Association for Theoretical Computer Science

書誌事項

Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland

organized by Warsaw University ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with The Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from BRICS, University of Aarhus ... [et. al]

IEEE Computer Society Press, c1997

• : paper
• : case
• : microfiche

タイトル別名

1997 IEEE 12th Annual Symposium on Logic in Computer Science

LICS'97

97CB36092

注記

Includes bibliographies and index

"IEEE Catalog Number 97CB36092"

詳細情報

• NII書誌ID(NCID): BA31761504
• ISBN:
  • 0818679255
  • 0818679263
  • 0818679271
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif. ; Tokyo
• ページ数/冊数: xiv, 447 p.
• 大きさ: 28 cm
• 件名:
  • LCSH : Electronic data processing -- Congresses
  • LCSH : Electronic digital computers -- Programming -- Congresses