 |
| |||
| tail conditions | |||
| post condition (ssn); post-condition (ssn) | |||
| postcondition | |||
| |||
| tail conditions; tali conditions | |||
| postconditions (ssn) | |||
| tail conditions (применяемого правила вывода) | |||
| постусловие: 27 phrases in 5 subjects |
| Artificial intelligence | 1 |
| Electronics | 1 |
| Information technology | 1 |
| Mass media | 1 |
| Programming | 23 |