predicate logic
| language
| predicate logic abbr. | |
| IT | логика предикатов; логика исчисления предикатов |
| language abbr. | |
| gen. | язык; характер языка; стиль; язык писателя; слог языка; язык документа |
| |||
| логика исчисления предикатов | |||
| логика предикатов | |||
| предикатная логика (ssn) | |||
| English thesaurus | |||
| |||
| quantificational logic (ssn) | |||
|
predicate logic : 15 phrases in 7 subjects |
| Automated equipment | 1 |
| Information technology | 5 |
| Logic | 1 |
| Makarov | 1 |
| Mathematics | 3 |
| Mechanics | 1 |
| Programming | 3 |