close
1.

図書

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

図書

図書
[sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing]
出版情報: Washington, D.C. ; Tokyo : IEEE Computer Society Press, c1989
所蔵情報: loading…
3.

図書

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