Страница публикации

Сервис для решения задач булевой выполнимости SATSRVC

Тип публикации: Авторское свидетельство

Тип материала: Текст

Авторы: Богданова В.Г., Пашинин А.А., Горский С.А.

Язык публикации: russian

Номер: 2016662351

Год публикации: 2016

Дата публикации: 08.11.2016

Отчетный год: 2016

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Нет

Индексируется ВАК: Нет

Индексируется CORE: Нет