дедуктивное доказательство

Тодоров В. Taha S. Boulanger F. Хернандес А. Proving properties of Discrete-Valued Functions using Deductive Proof: Application to the Square Root // Системная информатика. — . — № 14.  — С. 45-54
Подписаться на дедуктивное доказательство