Normal view
MARC view
- Кидярова, Галина Владимировна
Кидярова, Галина Владимировна (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Кидярова, Галина Владимировна, Экспериментальное сравнение двух подходов к верификации логических схем на основе проверки выполнимости КНФ