Local proof transformations for flexible interpolation and proof reduction

Партнёр:

Предмет:

Лектор:Наталья Шарыгина Конференция:

  • Computer Science семинар (Весна 2012)

Авторизация
*
*
Регистрация
*
*
*
Генерация пароля