close
1.

図書
図書
1. 27th Annual Symposium on Foundations of Computer Science, Oct. 27-29, 1986 (: pbk.)
sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing
出版情報: Washington, D.C. : IEEE Computer Society Press, c1986
所蔵情報: loading…
2.

図書
図書
2. 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…