satisfiability of logical formulas
| with
| quantifiers
| satisfiability of logical formulas abbr. | |
| AI. | выполнимость логических формул |
| with abbr. | |
| gen. | при; от; касательно; несмотря на; над; обо |
| Makarov. | при раздельной работе; при параллельной работе |
| quantifier abbr. | |
| gen. | кванторное слово |
| comp. | устройство оцифровки |
| comp., MS | квантификатор |
| cyber. | квантователь |
| forestr. | дозатор |
| IT | квантификатор |
| ling. | квантификаторы; указатели множества; указатель количества |
| math. | квантор |
| |||
| выполнимость логических формул (Microsoft Alex_Odeychuk) | |||
|
satisfiability of logical formulas : 5 phrases in 1 subject |
| Artificial intelligence | 5 |