Cook Stephen A

Доклады и лекции в базе данных Math-Net.Ru

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