Поиск


Текущие фильтры:
Начать новый поиск
Добавить фильтры:

Используйте фильтры для уточнения результатов поиска.


Результаты 1-1 из 1.
  • назад
  • 1
  • дальше
Найденные ресурсы:
Предварительный просмотрДата выпускаНазваниеАвтор(ы)
сен-2017Extraction of a maximal common sub-formula of predicate formulas for the solving of some Artificial Intelligence problemsKosovskaya, Tatiana M.; Petrov, Dmitrii A.