| |
Тодоров Васил
|
| В базах данных Math-Net.Ru |
| Публикаций: |
1 |
| Научных статей: |
1 |
| Статистика просмотров: |
| Эта страница: | 25 | | Страницы публикаций: | 62 | | Полные тексты: | 120 | | Списки литературы: | 17 |
|
|
 |
https://www.mathnet.ru/rus/person154206 |
 |
Список публикаций на Google Scholar |
 |
Список публикаций на ZentralBlatt |
 |
https://orcid.org/0000-0002-2739-499X
|
|
|
|
|
Публикации в базе данных 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, Франция
|
Обратная связь: