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 OttawaIEEE Computer Societyc2003
全国の図書館
- 著者標目...tical Sciences Le Centre de Recherches Mathématiques (CRM) University of Ottawa