RUS
ENG
Full version
PEOPLE
Hernandez Armando
Publications in Math-Net.Ru
Proving properties of discrete-valued functions using deductive proof: application to the square root
Model. Anal. Inform. Sist.
,
26
:4 (2019),
520–533
©
Steklov Math. Inst. of RAS
, 2024