 |
Terms for subject Artificial intelligence containing objective means | all forms | exact matches only | in specified order only
| English | Russian |
| objective means of comparing SMT solvers | объективное средство сопоставления производительности различных решателей задач выполнимости формул в теориях (контекстуальный перевод на русс. язык Alex_Odeychuk) |