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"

内容説明・目次

内容説明

This text covers the 12th Symposium on Logic in Computer Science held in 1997. The symposium covered topics in computational mathemetics and complexity theory.

「Nielsen BookData」 より

詳細情報

• 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