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