deductive proof

V. Todorov S. Taha F. Boulanger A. Hernandez Proving properties of Discrete-Valued Functions using Deductive Proof: Application to the Square Root // System Informatics. — . — # 14.  — P. 45-54
Subscribe to deductive proof