Terms for subject Artificial intelligence containing различно

Russian	English
объективное средство сопоставления производительности различных решателей задач выполнимости формул в теориях	objective means of comparing SMT solvers (контекстуальный перевод на русс. язык Alex_Odeychuk)
эксперты в различных предметных областях	experts in diverse domains (Alex_Odeychuk)