※一部利用できない機能があります
1.
図書 |
supported by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and the European Association for Theoretical Computer Science
|
|||||
2.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|