Terms for subject Artificial intelligence containing в сопоставлении

Russian	English
в результате сопоставления с образом	resulting from the pattern matching (Alex_Odeychuk)
выполнять сопоставление продукционных правил с образцом в базе данных	match production rules against the database (Alex_Odeychuk)
объективное средство сопоставления производительности различных решателей задач выполнимости формул в теориях	objective means of comparing SMT solvers (контекстуальный перевод на русс. язык Alex_Odeychuk)