Общая информация
Поиск атрибутный
Организаций
Персон
Структура учреждений РАН
Superinduction: A New Method for Proving General Mathematical Statements with a Computer
A. A.
Zenkin
Doklady Mathematics,, 1997, pp. 410-413.
,
Vol.55, No.3
, 03.1997 , p. 410-413 , language: английский
Полный текст
в формате
doc
Последние изменения: 20.02.2001
Поиск ресурсов
119991 Москва, Ленинский просп., 14
Телефон: (495) 938-0309 (Справ. бюро); Факс: (495) 954-3320 (Лен.пр.14), (495) 938-1844 (Лен.пр,32а)
На главную страницу
В начало страницы
©
РАН
2007
