Please be patient while the object screen loads.
Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
Add to Quick Collection
Description
Size
Format
Экспериментальное сравнение двух подходов к верификации логических схем на основе проверки выполнимости КНФ
377 KB
Adobe Acrobat PDF
View Details
Download
Title
Экспериментальное сравнение двух подходов к верификации логических схем на основе проверки выполнимости КНФ
Creator
Кидярова, Галина Владимировна
Contributor
Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ
Subject
верификация
логические схемы
конъюнктивная нормальная форма
Date
2013
Relationships
Show Relationship Browser for this Object
collection(s)
Радиофизический факультет
Identifier
vtls:000473301
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000473301
Type
статьи в журналах
Source
Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 196-197
Language
rus
847 Visitors
580 Hits
273 Downloads
Preview
Радиофизический факультет
Экспериментальное сравнение двух подходов к верификации логических схем на основе проверки выполнимости КНФ
^ DIV >