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

著者名:

Symposium on Logic in Computer Science <DA01987694>

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

Uniwersytet Warszawski <DA0356653X>

Association for Computing Machinery. Special Interest Committee for Automation and Computability <DA0018332X>

Association for Symbolic Logic <DA01977227>

European Association for Theoretical Computer Science <DA00338459>

さらに 1 件

ISBN:

9780818679254 [0818679255] (: paper)
9780818679261 [0818679263] (: case)
9780818679278 [0818679271] (: microfiche)

書誌ID:

BA31761504