close
1.

図書
図書
1. Proceedings 47th Annual IEEE Symposium on Foundations of Computer Science : 21-24 October 2006, Berkeley, California
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2006
所蔵情報: loading…
2.

図書
図書
2. Proceedings : Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland (: pbk. ; : hard ; : microfiche)
sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing
出版情報: Washington, D.C. : Computer Society Press , Los Angeles, CA : Ordered from Computer Society, c1988
所蔵情報: loading…