Спецпроцессор для задачи выполнимости булевых формул

Параметры документа

Название: 

Спецпроцессор для задачи выполнимости булевых формул

Номер заявки: 

2013109147

Дата подачи заявки: 

01.03.2013

Библиографическая ссылка: 

Уваров С. И. Спецпроцессор для задачи выполнимости булевых формул: Патент на изобретение № 2515206 РФ; Зарег. 12.03.2014.