• русский
    • English
  • English 
    • русский
    • English
  • Login
View Item 
  •   DLS AltSU
  • Научные издания
  • МАК - Материалы конференций по матаматике
  • МАК-2009
  • Алгебра и математическая логика
  • View Item
  •   DLS AltSU
  • Научные издания
  • МАК - Материалы конференций по матаматике
  • МАК-2009
  • Алгебра и математическая логика
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Thumbnail
View/Open
3.pdf
Date: 2009
Author
Белякин, Н. В.
Смолякова, Л. Л.
Citation
Белякин, Н. В. Компьютеризация доказательства теоремы Мостовского / Н. В. Белякин, Л. Л. Смолякова // Материалы двенадцатой региональной конференции по математике МАК-2009, Барнаул, июнь, 2009 : [тезисы докл.] / АлтГУ [и др.] ; [гл. ред. Н. М. Оскорбин и др.]. - Барнаул : Изд-во АлтГУ, 2009. - С. 3.

URI: http://elibrary.asu.ru/handle/asu/1503
Metadata
Show full item record
Collections
  • Алгебра и математическая логика

Altai State University | University Libraries
Powered by free open source software DSpace
Contact Us | Send Feedback
 

 

Browse

AllCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

Altai State University | University Libraries
Powered by free open source software DSpace
Contact Us | Send Feedback