Партнёр:
Предмет:
Лектор:Наталья Шарыгина Конференция:
Embedded video for Local proof transformations for flexible interpolation and proof reduction
Введите адрес назначения (URL)
Или сделайте ссылку на существующий материал