RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Goré Rajeev
Доклады и лекции в базе данных Math-Net.Ru
Cut-elimination and proof search for bi-intuitionistic tense logic
Rajeev Goré, Linda Postniece, Alwen Tiu
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
25 августа 2010 г.
11:50
©
МИАН
, 2024