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

Препроцессинг в задаче проверки эквивалентности булевых схем с применением дизъюнктивных диаграмм

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

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

Авторы: Кондратьев В.С.

Журнал: Материалы конференции "Ляпуновские чтения" (Иркутск, 5-9 декабря 2022 г.)

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

Номера страниц: 66-68

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

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

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

Издательство: ИДСТУ СО РАН

Местоположение издательства: Иркутск

Адрес издателя: Иркутск

Название издательства: ИДСТУ СО РАН

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

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

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

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

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

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