 |
| |||
| tail conditions | |||
| post condition (ssn); post-condition (ssn) | |||
| postcondition | |||
| |||
| tail conditions; tali conditions | |||
| postconditions (ssn) | |||
| tail conditions (применяемого правила вывода) | |||
| постусловие: 27 phrases, 5 sujets |
| Électronique | 1 |
| Informatique | 1 |
| Intelligence artificielle | 1 |
| Médias de masse | 1 |
| Programmation | 23 |