Normal view
MARC view
Экспериментальное сравнение двух подходов к верификации логических схем на основе проверки выполнимости КНФ Г. В. Кидярова
Material type: ArticleSubject(s): верификация | логические схемы | конъюнктивная нормальная формаGenre/Form: статьи в журналах Online resources: Click here to access online In: Известия высших учебных заведений. Физика Т. 56, № 9/2. С. 196-197No physical items for this record
Библиогр.: 2 назв.
There are no comments on this title.
Log in to your account to post a comment.