%0 Journal Article %A E. Gik %T Компьютеры решают и опровергают %J Kvant %D 2013 %P 65 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/KVANT_2013_1_a31/ %G ru %F KVANT_2013_1_a31