| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
|
|||
|
Семантические технологии: новая жизнь для математической логики Михаил Захарьящевab, Станислав Кикотьac a Birkbeck, University of London b National Research University "Higher School of Economics" (HSE), Moscow c Institute for Information Transmission Problems, Russian Academy of Sciences |
|||
|
|
|||
