Normal view
MARC view
ProQuest (Firm) (Corporate Name)
Machine generated authority record
Work cat.: (OSt)280848: Asian Logic Conference (11th : 2009 : Singapore) 387807, Proceedings of the 11th Asian Logic Conference, c2012.