Российская академия наук    
     
   

Общая информация


 
Login Print view Help 

Поиск атрибутный
  Организаций
  Персон

Структура учреждений РАН




Doklady Mathematics,, 1997, pp. 410-413.,Vol.55, No.3

 

 Включает:

  1. A. A. Zenkin Superinduction: A New Method for Proving General Mathematical Statements with a Computer , 03.1997



Последние изменения: 20.02.2001
Поиск ресурсов


119991 Москва, Ленинский просп., 14
Телефон: (495) 938-0309 (Справ. бюро); Факс: (495) 954-3320 (Лен.пр.14), (495) 938-1844 (Лен.пр,32а)		 На главную страницу
В начало страницы
© РАН 2007