French Tim

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

1. Future event logic – axioms and complexity
   Hans van Ditmarsch, Tim French, Sophie Pinchinat
   Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
   25 августа 2010 г. 09:50