Normal view
MARC view
ProQuest (Firm) (Corporate Name)
Machine generated authority record
Work cat.: (OSt)318723: Asian Logic Conference (10th : 2008 : Kobe Daigaku) 597645, Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008, c2010.