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

Author(s)

• 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

Bibliographic Information

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

Other Title

Proceedings, seventeenth Annual IEEE Symposium on Logic in Computer Science

PR01483

Note

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

Includes bibliographical references and index

Details

• NCID: BA57750784
• ISBN:
  • 0769514839
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Los Alamitos, Calif.
• Pages/Volumes: xiii, 461 p.
• Size: 28 cm