 |
| |||
| calcul des prédicats; calcul de prédicats; logique de 1er ordre; logique des prédicats | |||
|
predicate calculus : 10 фраз в 1 тематике |
| Информационные технологии | 10 |
|
| |||
| calcul des prédicats; calcul de prédicats; logique de 1er ordre; logique des prédicats | |||
|
predicate calculus : 10 фраз в 1 тематике |
| Информационные технологии | 10 |