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