|
Эрнандес Армандо
|
В базах данных Math-Net.Ru |
Публикаций: |
1 |
Научных статей: |
1 |
Статистика просмотров: |
Эта страница: | 29 | Страницы публикаций: | 64 | Полные тексты: | 120 | Списки литературы: | 19 |
|
|
|
https://www.mathnet.ru/rus/person154207 |
|
Список публикаций на Google Scholar |
|
Список публикаций на ZentralBlatt |
|
https://orcid.org/0000-0003-4555-4616
|
|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2019 |
1. |
V. Todorov, S. Taha, F. Boulanger, A. Hernandez, “Proving properties of discrete-valued functions using deductive proof: application to the square root”, Модел. и анализ информ. систем, 26:4 (2019), 520–533 |
|
|
Организации |
- Groupe PSA, Route de Gisy, 78140 Vélizy-Villacoublay, Франция
|