Страница публикации
Реализация процедур прогнозирования трудоемкости параллельного решения SAT-задач
Авторы: Заикин О.С.
Журнал: Вестник УГАТУ
Том: 14
Номер: 4 (39)
Год: 2010
Отчётный год: 2010
Издательство:
Местоположение издательства:
URL:
Аннотация:
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 0
Публикация в печати: 0
Добавил в систему: