first-order logic
| semantics
| first order logic | |
| comp. | логика первого порядка |
| first-order logic | |
| comp. | исчисление предикатов первого порядка |
| el. | логика предикатов первого порядка |
| semantics | |
| gen. | бессодержательное красноречие; терминология; изучение смысловой нагрузки, ассоциативного ряда языка |
| automat. | семантика |
| comp. | семантика |
| comp., MS | семантика |
| ling. | семантика; семасиология; смысловое наполнение текста или языка |
| progr. | формальная модель |
| |||
| исчисление предикатов первого порядка | |||
| логика предикатов первого порядка | |||
| логика первого порядка; первопорядковая логика (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 |