Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Пономарев Григорий Михайлович
В базах данных Math-Net.Ru
Публикаций: 1
Научных статей: 1

Статистика просмотров:
Эта страница:157
Страницы публикаций:580
Полные тексты:215
Списки литературы:75
E-mail:

https://www.mathnet.ru/rus/person66344
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2011
1. С. Н. Васильев, Г. М. Пономарев, “Методы автоматизации логического вывода и их применение в управлении динамическими и интеллектуальными системами”, Тр. ИММ УрО РАН, 17:2 (2011),  35–52  mathnet  elib; S. N. Vassilyev, G. M. Ponomarev, “Automation methods for logical derivation and their application in the control of dynamic and intelligent systems”, Proc. Steklov Inst. Math. (Suppl.), 276, suppl. 1 (2012), S161–S179  isi  scopus 4

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024