Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Cook Stephen A
E-mail:
Сайт: http://www.cs.toronto.edu/~sacook/

https://www.mathnet.ru/rus/person87284
Список публикаций на Google Scholar

Доклады и лекции в базе данных Math-Net.Ru
1. From Computational Complexity to Proof Complexity
S. A. Cook
В Санкт-Петербургском отделении Математического института им. В. А. Стеклова РАН
8 июня 2006 г.   

Организации