Suzuki Tomoyuki

Доклады и лекции в базе данных Math-Net.Ru

1. Bi-approximation semantics for substructural logic at work
   Tomoyuki Suzuki
   Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
   27 августа 2010 г. 09:50