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 Lofic 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
- 出版情報:
- Los Alamitos, Calif. : IEEE Computer Society, c2002
- 著者名:
- ISSN:
- 10436871
- ISBN:
- 9780769514833 [0769514839]
- 注記:
- "IEEE Computer Society Order Number PR01483" -- T.p. verso
Includes bibliographical references and index
類似資料:
IEEE Computer Society | |
IEEE Computer Society |
IEEE Computer Society Press |
IEEE Computer Society |
IEEE Computer Society Press |
IEEE Computer Society Press |
IEEE Computer Society |
IEEE Computer Society Press |
11
![]() IEEE Computer Society |
Institute of Electrical and Electronics Engineers |