![]() |
| |||
| логика предикатов первого порядка | |||
| исчисление предикатов первого порядка | |||
| логика первого порядка; первопорядковая логика (vitalinew); логика предикатов первого порядка (= first-order predicate logic ssn) | |||
| |||
| логика первого порядка | |||
| Angielski tezaurus | |||
| |||
| first-order predicate logic (ssn) | |||
|
first-order logic : 8 do fraz, 4 tematyki |
| Logika | 4 |
| Matematyka | 1 |
| Programowanie | 1 |
| Sztuczna inteligencja | 2 |