. . "485"^^ . . . . . "168133448"^^ . . . . . "10.1145"^^ . "Lower bounds of the complexity of symmetric boolean functions of contact-rectifier circuits"@fr . "Natural proofs"@fr . . . "Mathematical Notes of the Academy of Sciences of the USSR"@fr . "20"^^ . "Montr\u00E9al, Qu\u00E9bec, Canada"@fr . "April"@fr . . "Lower Bounds for the Polynomial Calculus"@fr . . . "6"^^ . . "4"^^ . . "Alexander Razborov"@es . "1963"^^ . . "1"^^ . . . . "8539"^^ . . . . "Computational Complexity"@fr . . . . . . . "7"^^ . . . . "204"^^ . "pdf"@fr . . . . "5527550"^^ . "Lower bounds for the monotone complexity of some Boolean functions"@fr . . "Alexandre Alexandrovitch Razborov (russe : \u0410\u043B\u0435\u043A\u0441\u0430\u0301\u043D\u0434\u0440 \u0410\u043B\u0435\u043A\u0441\u0430\u0301\u043D\u0434\u0440\u043E\u0432\u0438\u0447 \u0420\u0430\u0437\u0431\u043E\u0301\u0440\u043E\u0432, n\u00E9 le 16 f\u00E9vrier 1963), connu aussi sous le nom de Sacha Razborov, est un math\u00E9maticien et un informaticien th\u00E9oricien sovi\u00E9tique et russe. Il est le laur\u00E9at du prix Nevanlinna en 1990 pour son travail sur la th\u00E9orie de la complexit\u00E9, et en 2007 du prix G\u00F6del avec Steven Rudich pour leur article \u00AB Natural proofs \u00BB."@fr . . . . "Seattle, Washington, USA"@fr . . . "31"^^ . "Alexandre Razborov"@fr . . "en"@fr . "37"^^ . "10.1007"^^ . "Alexander Alexandrowitsch Rasborow"@de . . . . "en"@fr . . . . . . . . . . . . "ru"@fr . "May"@fr . "41"^^ . "Alexandre Alexandrovitch Razborov (russe : \u0410\u043B\u0435\u043A\u0441\u0430\u0301\u043D\u0434\u0440 \u0410\u043B\u0435\u043A\u0441\u0430\u0301\u043D\u0434\u0440\u043E\u0432\u0438\u0447 \u0420\u0430\u0437\u0431\u043E\u0301\u0440\u043E\u0432, n\u00E9 le 16 f\u00E9vrier 1963), connu aussi sous le nom de Sacha Razborov, est un math\u00E9maticien et un informaticien th\u00E9oricien sovi\u00E9tique et russe. Il est le laur\u00E9at du prix Nevanlinna en 1990 pour son travail sur la th\u00E9orie de la complexit\u00E9, et en 2007 du prix G\u00F6del avec Steven Rudich pour leur article \u00AB Natural proofs \u00BB."@fr . "Institut de math\u00E9matiques Steklov, Universit\u00E9 de Chicago,"@fr . . . . "167"^^ . . "48"^^ . . . "50"^^ . . . "Proceedings of the 26th Annual ACM Symposium on the Theory of Computing"@fr . "Alexander Razborov"@pt . . . . "June"@fr . . . . . . . . . . . "December"@fr . "2003"^^ . . . "On the method of approximations"@fr . . . . . . . "Lower bounds on monotone complexity of the logical permanent"@fr . . . . "1990"^^ . . "Alexander Razborov"@en . "1989"^^ . "\u0625\u0644\u0643\u0633\u0646\u062F\u0631 \u0631\u0627\u0632\u0628\u0648\u0631\u0648\u0641"@ar . . "1987"^^ . . "1985"^^ . . . . "1998"^^ . . . . ""@fr . . . . "1994"^^ . . . . . . . . . . . . . . . . "354"^^ . . "\u041E \u0441\u0438\u0441\u0442\u0435\u043C\u0430\u0445 \u0443\u0440\u0430\u0432\u043D\u0435\u043D\u0438\u0439 \u0432 \u0441\u0432\u043E\u0431\u043E\u0434\u043D\u043E\u0439 \u0433\u0440\u0443\u043F\u043F\u0435"@fr . "Propositional proof complexity"@fr . . . "\u0420\u0430\u0437\u0431\u043E\u0440\u043E\u0432, \u0410\u043B\u0435\u043A\u0441\u0430\u043D\u0434\u0440 \u0410\u043B\u0435\u043A\u0441\u0430\u043D\u0434\u0440\u043E\u0432\u0438\u0447"@ru . . . . . . "Proceedings of the 21st Annual ACM Symposium on the Theory of Computing"@fr . . . "333"^^ . . . . . . "ps"@fr . . . . . . . . . . . . . . . "mai"@fr . . . "1963-02-16"^^ . . . "pdf."@fr . . "Alexander Razborov"@fr . . . . "291"^^ . . . . "1226"^^ . . . . "80"^^ . . . . . . . . . "January"@fr . . . . . . . . . . . "Alexander Razborov"@fr . "Lower bounds on the size of bounded depth circuits over a complete basis with logical addition"@fr . . . . . "Andrew MacLeish"@fr . "1963-02-16"^^ . ""@fr .