Компьютеризация доказательства теоремы Мостовского
dc.contributor.author | Белякин, Н. В. | |
dc.contributor.author | Смолякова, Л. Л. | |
dc.date.accessioned | 2015-11-18T04:01:03Z | |
dc.date.available | 2015-12-18T04:01:03Z | |
dc.date.issued | 2009 | |
dc.identifier.citation | Белякин, Н. В. Компьютеризация доказательства теоремы Мостовского / Н. В. Белякин, Л. Л. Смолякова // Материалы двенадцатой региональной конференции по математике МАК-2009, Барнаул, июнь, 2009 : [тезисы докл.] / АлтГУ [и др.] ; [гл. ред. Н. М. Оскорбин и др.]. - Барнаул : Изд-во АлтГУ, 2009. - С. 3. | ru_RU |
dc.identifier.uri | http://elibrary.asu.ru/handle/asu/1503 | |
dc.publisher | Барнаул: Издательство Алтайского государственного университета | ru_RU |
dc.title | Компьютеризация доказательства теоремы Мостовского | ru_RU |
dc.type | Article | ru_RU |