| |||
исчисление предикатов первого порядка | |||
логика предикатов первого порядка | |||
логика первого порядка; первопорядковая логика (vitalinew); логика предикатов первого порядка (= first-order predicate logic ssn) | |||
| |||
логика первого порядка | |||
English thesaurus | |||
| |||
first-order predicate logic (ssn) |
first-order logic : 8 phrases in 4 subjects |
Artificial intelligence | 2 |
Logic | 4 |
Mathematics | 1 |
Programming | 1 |