※一部利用できない機能があります
タイトル、所在を表示します
Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland
- フォーマット:
- 図書
- 責任表示:
- organized by Warsaw University ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with The Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from BRICS, University of Aarhus ... [et. al]
- 言語:
- 英語
- 出版情報:
- Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997
- 形態:
- xiv, 447 p. ; 28 cm
- 著者名:
- 書誌ID:
- BA31761504
- ISBN:
- 9780818679254 [0818679255] (: paper)
9780818679261 [0818679263] (: case)
9780818679278 [0818679271] (: microfiche)
類似資料:
IEEE Computer Society Press | |
IEEE Computer Society Press | |
IEEE Computer Society Press | |
4
図書
Proceedings : Symposium on Logic in Computer Science, LICS '94, CNAM, Paris, France, July 4-7, 1994
IEEE Computer Society Press | |
Corporate & Scientific Programs, IBM Japan | |