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. ; Tokyo : IEEE Computer Society, c2003
図書等| No. | 所在 | 請求記号 | 資料ID | 資料タイプ | 状況（返却予定日） | コレクション | 備考 | 予約・取り寄せ人数 |
|---|---|---|---|---|---|---|---|---|
|
1 |
007.6-Sy5-2003
|
10003302253 |
一般図書 |
|
|
|
|
2003
xiv, 393 p. : ill. ; 28 cm
Proceedings, eighteenth Annual IEEE Symposium on Logic in Computer Science
PR01884
"IEEE Computer Society Order Number PR01884"--T.p. verso
Includes bibliographical references and index
アメリカ合衆国
英語 (eng)
英語 (eng)
Symposium on Logic in Computer Science [ LICS ] [ IEEE Symposium on Logic in Computer Science ]
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing [ Computer Society Technical Committee on Mathematical Foundations of Computer Science ]
European Association for Theoretical Computer Science [ EATCS ] [ E.A.T.C.S ] [ European Association on Theoretical Computer Science ]
Fields Institute for Research in Mathematical Sciences
0769518842
BA62528388
