| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
|
|||
|
|
|||
|
Lecture 3. Bounded Arithmetic and Proof Complexity A. Das University of Birmingham |
|||
|
Язык доклада: английский |
|||