| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
Traditional Christmas session MIAN-POMI, 2009 "Logic and Theoretical Computer Science"
|
|||
|
|
|||
|
Точная квадратичная оценка длины вывода в одной системе подстановок Туэ S. I. Adian |
|||
|
Related articles:
|
|||