Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada

種類:

図書

責任表示:

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques, University of Ottawa

出版情報:

Los Alamitos, Calif. : IEEE Computer Society, c2003

著者名:

Symposium on Logic in Computer Science <DA01987694>

IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing <DA01037742>

Association of Symbolic Logic

European Association for Theoretical Computer Science <DA00338459>

Fields Institute for Research in Mathematical Sciences <DA0814929X>

Le Centre de Recherches Mathématiques

University of Ottawa

続きを見る

ISBN:

9780769518848 [0769518842]    

注記:

"IEEE Computer Society Order Number PR01884"--T.p. verso
Includes bibliographical references and index