 |
| |||
| предикатная логика (ssn) | |||
| логика исчисления предикатов | |||
| логика предикатов | |||
| Англійський тезаурус | |||
| |||
| quantificational logic (ssn) | |||
|
predicate logic : 15 фраз в 7 тематиках |
| Автоматика | 1 |
| Інформаційні технології | 5 |
| Логіка | 1 |
| Макаров | 1 |
| Математика | 3 |
| Механіка | 1 |
| Програмування | 3 |