 |
правила подстановки
| для
| пропозициональных и функциональных переменных
| правила подстановки | |
| automat. | reduction rules |
| правило подстановки | |
| data.prot. | substitution rule |
| IT | retractable rule; production; rewriting rule; rewrite rule |
| для | |
| gen. | for; on behalf of; because of; in behalf of |
| пропозициональные и функциональные переменные | |
| math. | propositional and functional variables |
| |||
| substitution rule | |||
| retractable rule; production; rewriting rule; rewrite rule | |||
| rule of substitution | |||
| |||
| reduction rules (напр., подвыражений в выражения) | |||
| правила подстановки: 9 phrases in 3 subjects |
| Information technology | 2 |
| Mathematics | 3 |
| Programming | 4 |