 |
| |||
| calcul de prédicats; calcul des prédicats; logique de 1er ordre; logique des prédicats | |||
| Английский тезаурус | |||
| |||
| quantificational logic (ssn) | |||
|
predicate logic : 8 фраз в 1 тематике |
| Информационные технологии | 8 |
|
| |||
| calcul de prédicats; calcul des prédicats; logique de 1er ordre; logique des prédicats | |||
| Английский тезаурус | |||
| |||
| quantificational logic (ssn) | |||
|
predicate logic : 8 фраз в 1 тематике |
| Информационные технологии | 8 |