Просмотр Алгебра и математическая логика по автору "Смолякова, Л. Л."
Отображаемые элементы 1-1 из 1
-
Компьютеризация доказательства теоремы Мостовского
Белякин, Н. В.; Смолякова, Л. Л. (Барнаул: Издательство Алтайского государственного университета, 2009)Компьютеризация доказательства теоремы Мостовского
Белякин, Н. В.; Смолякова, Л. Л. (Барнаул: Издательство Алтайского государственного университета, 2009)