Осипов Илья Игоревич

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

1. О формулах первого порядка, эквивалентных переводам модальных формул
   И. И. Осипов
   «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
   24 апреля 2012 г. 18:30