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
Other Libraries in Japan
Author Heading...tical Sciences Le Centre de Recherches Mathématiques (CRM) University of Ottawa