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 (CRM), University of Ottawa

言語:

英語

出版情報:

Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2003

形態:

xiv, 393 p. ; 28 cm

著者名:

Symposium on Logic in Computer Science <DA01987694>

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

Association for Symbolic Logic <DA01977227>

European Association for Theoretical Computer Science <DA00338459>

Fields Institute for Research in Mathematical Sciences <DA0814929X>

Le Centre de Recherches Mathématiques (CRM)

University of Ottawa <DA04142007>

続きを見る

書誌ID:

BA62528388

ISBN:

9780769518848 [0769518842]