|
|
Публикации в базе данных 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 |
|