Компьютеризация доказательства теоремы Мостовского

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