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

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 г.)

Том:

Номер:

Год: 2015

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

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

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

URL:

Проекты:

DOI:

Аннотация:

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

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

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

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

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

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

Публикация в печати: 0