Таха Сафуан

Публикации в базе данных Math-Net.Ru

1. Proving properties of discrete-valued functions using deductive proof: application to the square root
   
   Модел. и анализ информ. систем, 26:4 (2019),  520–533