Terms for subject Programming containing deductions

English	Russian
adding flexibility to the natural deduction system	увеличение гибкости системы естественного вывода (ssn)
deduction rule	правило логического вывода (ssn)
developing natural deduction system proofs	построение доказательств в системе естественного вывода (ssn)
expressing deductions	реализация дедукции (ssn)
expressing deductions concerning the content of a database	реализация дедукции на основе содержимого базы данных (ssn)
logical deduction	логический вывод (ssn)
natural deduction system	система естественного вывода (ssn)
natural deduction system proofs	доказательства в системе естественного вывода (ssn)
return type deduction	выведение возвращаемого типа (Dr. Dobb's Alex_Odeychuk)
template argument deduction	дедукция аргумента шаблона (ssn)
type deduction	автоматический вывод типов (автоматический вывод типов шаблона в языке программирования C++ Alex_Odeychuk)