Tutorial on Proof Complexity Курс Партнёр:Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ Предмет:Математика Лектор:Toniann Pitassi Лекции курса4 Tutorial on Proof Complexity. Part I Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ Toniann Pitassi 445 Tutorial on Proof Complexity. Part II Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ Toniann Pitassi 387 Tutorial on Proof Complexity. Part III Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ Toniann Pitassi 368 Tutorial on Proof Complexity. Part IV Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ Toniann Pitassi 376