first-order logic
| based
| formalism
| first order logic | |
| comp. | логика первого порядка |
| first-order logic | |
| comp. | исчисление предикатов первого порядка |
| el. | логика предикатов первого порядка |
| based | |
| astronaut. | базирующийся; дислоцированный; находящийся; развёрнутый на стартовых позициях; служащий базой |
| comp. | базированный |
| econ. | основанный; расположенный |
| IT | с основанием; со смещением |
| formalism | |
| gen. | формализм; педантичность; обрядовость; математическая формулировка; теоретический формализм; общепринятый подход |
| IT | формальная система |
| |||
| исчисление предикатов первого порядка | |||
| логика предикатов первого порядка | |||
| логика первого порядка; первопорядковая логика (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 |