Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT
Home
Publications
PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT
PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT
VT
Vassil Todorov
Vassil Todorov
ST
Safouan Taha
Safouan Taha
FB
Frédéric Boulanger
Frédéric Boulanger
AH
Armando Hernandez
Armando Hernandez
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 2019
journal article
Published by
A.P. Ershov Institute of Informatics Systems SB RAS
in
System Informatics
No. 14
https://doi.org/10.31144/si.2307-6410.2019.n14.p45-54
Abstract
No abstract available