 |
Terms for subject Artificial intelligence containing один и более | all forms | in specified order only
| Russian | English |
| выполнимость логических формул в одной и более теориях | satisfiability of logical formulas over one or more theories (Alex_Odeychuk) |