![]() |
| |||
| логика предикатов первого порядка | |||
| исчисление предикатов первого порядка | |||
| логика первого порядка; первопорядковая логика (vitalinew); логика предикатов первого порядка (= first-order predicate logic ssn) | |||
| |||
| логика первого порядка | |||
| Англійський тезаурус | |||
| |||
| first-order predicate logic (ssn) | |||
|
first-order logic : 8 фраз в 4 тематиках |
| Логіка | 4 |
| Математика | 1 |
| Програмування | 1 |
| Штучний інтелект | 2 |