| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Публикации учёных СГУ - результаты поиска

Виды поиска

Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Fokin, P. V.$<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.

Blinkov Yu. A. SAT problems solved with ZDD diagrams/Yu. A. Blinkov, P. V. Fokin // International Conference "Polynomial Computer Algebra", Saint-Petersburg, April, 2015 year. -Saint-Petersburg:Saint-Petersburg dep. of Steklov math. institute, 2015
2.

Fokin P. V. Sympy-ready algorithm for solving sat problems using algebraic approach and zdds/P. V. Fokin, Yu. A. Blinkov // International Conference Polynomial Computer Algebra'2016 Russian Academy of Sciences. -Санкт-Петербург:Издательство ВВМ, 2016.-С.38-39
3.

Fokin P. V. SymPy-ready algorithm for solving SAT problems using algebraic approach and ZDDss/P. V. Fokin, Yu. A. Blinkov // International Conference Polynomial Computer Algebra'2016 Russian Academy of Sciences. -Санкт-Петербург, 2016.-С.38-39
 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)