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
Исследование и разработка алгоритмов упрощения КНФ при решении проблемы выполнимости
418 KB
Adobe Acrobat PDF
View Details
Download
Title
Исследование и разработка алгоритмов упрощения КНФ при решении проблемы выполнимости
Creator
Пашкова, Наталья Николаевна
Creator
Андреева, Валентина Валерьевна
Subject
сверхбольшие интегральные схемы
конъюнктивные нормальные формы
проблемы выполнимости булевых функций
методы упрощения конъюнктивных нормальных форм
Date
2018
Relationships
Show Relationship Browser for this Object
collection(s)
Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)
Identifier
vtls:000647951
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000647951
Type
статьи в сборниках
Source
Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г.. Томск, 2018. С. 17-21
Language
rus
582 Visitors
439 Hits
158 Downloads
Preview
Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)
Исследование и разработка алгоритмов упрощения КНФ при решении проблемы выполнимости
^ DIV >