| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
Traditional Christmas session MIAN-POMI, 2009 "Logic and Theoretical Computer Science"
|
|||
|
|
|||
|
Optimal proof systems and algorithms (review) E. A. Hirsch |
|||
|
|
|||