close
1.

図書
図書
1. Proceedings : Fourth Annual Symposium on Logic in Computer Science (paper ; case ; microfiche)
[sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing]
出版情報: Washington, D.C. ; Tokyo : IEEE Computer Society Press, c1989
所蔵情報: loading…
2.

図書
図書
2. Proceedings : Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA (: paper ; : case ; : microfiche)
sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery-SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1990
所蔵情報: loading…
3.

図書
図書
3. Proceedings : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986 (pbk. ; microfiche)
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1986
所蔵情報: loading…