by Asian Logic Conference (11th : 2009 : Singapore) | Chong, C.-T. (Chi-Tat), 1949- | Arai, T. (Toshiyasu) | ProQuest (Firm).
by Asian Logic Conference (10th : 2008 : Kobe Daigaku) | Arai, T. (Toshiyasu) | ProQuest (Firm).