Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002 Copenhagen, Denmark, held in conjunction with the Third Federated Logic Conference

著者

• Symposium on Logic in Computer Science
• IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• Association of Symbolic Logic
• European Association for Theoretical Computer Science
• US Office of Naval Research International Field Office
• European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research

書誌事項

Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002 Copenhagen, Denmark, held in conjunction with the Third Federated Logic Conference

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association of Symbolic Logic, European Association for Theoretical Computer Science ; with support from US Office of Naval Research International Field Office, European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research

IEEE Computer Society, c2002

タイトル別名

Proceedings, seventeenth Annual IEEE Symposium on Logic in Computer Science

PR01483

注記

"IEEE Computer Society Order Number PR01483"--T.p. verso

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA57750784
• ISBN:
  • 0769514839
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif.
• ページ数/冊数: xiii, 461 p.
• 大きさ: 28 cm