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