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

Transalg: a tool for Translating Procedural Descriptions of Discrete Functions to sat

Тип публикации: Материал конференции

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

Авторы: Otpuschennikov I., Semenov A., Kochemazov S.

Журнал: Proc. of the 5th Intern. Workshop on Computer Science and Engineering: Information Processing and Control Engineering (WCSE 2015-IPCE, Moscow, 15-17 апреля 2015 г.)

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

Номера страниц: 289-294

Количество страниц: 6

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

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

Издательство: Bauman Moscow State Technical University

Местоположение издательства: Moscow

Адрес издателя: Moscow

Название издательства: Bauman Moscow State Technical University

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

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

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

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

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

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