| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
Traditional Christmas session MIAN-POMI, 2009 "Logic and Theoretical Computer Science"
|
|||
|
|
|||
|
Hilbert's tenth problem and the models of computational processes Yu. V. Matiyasevich |
|||
|
|
|||