Normal view
MARC view
Arai, T. (Toshiyasu) (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.