Главная
Новости
Оформление статьи
Архив
Авторы
Поиск
Вход
Васильев С. Н.
Публикации в СМЖ:
Васильев С. Н.
Метод синтеза условий выводимости хорновских и некоторых других формул
//
Том 38 (1997), Номер 5
, стр. 10341046
© Сибирский Математический Журнал, 2003-2006