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
|
|||||
2.
図書 |
[sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing]
|
|||||
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
|