Normal view
MARC view
Chong, C.-T. (Chi-Tat), 1949- (Personal Name)
Machine generated authority record
Work cat.: (OSt)280848: Asian Logic Conference (11th : 2009 : Singapore) 387807, Proceedings of the 11th Asian Logic Conference, c2012.