 |
Terms for subject Programming containing quantified boolean formulas | all forms | in specified order only
| English | Russian |
| evaluating quantified boolean formulas | вычисление булевых формул с кванторами (ssn) |
| quantified boolean formulas | булевы формулы с кванторами (ssn) |