 |
| |||
| Schlußfolgerungsregel f | |||
| Produktionsregel f (ssn); Ableitungsregel f (ssn); Inferenzregel f (ssn); Schlußregel f (ssn) | |||
| Ableitungsregel f (in einem formalen System) | |||
| Английский тезаурус | |||
| |||
| rule of derivation (ssn); deduction rule (ssn); derivation rule (ssn); inference rule (ssn) | |||
