※一部利用できない機能があります
1.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques (CRM), University of Ottawa
|
|||||
2.
図書 |
Fields Institute for Research in Mathematical Sciences
|