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

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:

Аннотация:

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

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

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

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

Добавил в систему: