Seminars: F. N. Pakhomov, Теоремы об ускорении доказательств в арифметике Пресбургера

Seminars

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
February 27, 2018 18:30, Moscow, Steklov Mathematical Institute

Теоремы об ускорении доказательств в арифметике Пресбургера

F. N. Pakhomov

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

Number of views:
This page:	138