|
|
|
|
| LEADER |
01736naa a2200313 c 4500 |
| 001 |
koha000926167 |
| 005 |
20230320003544.0 |
| 007 |
cr | |
| 008 |
221228s2022 ru fs 100 0 rus d |
| 024 |
7 |
|
|a 10.17223/978-5-907572-27-0-2022-16
|2 doi
|
| 035 |
|
|
|a koha000926167
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Провкин, Виктор Алексеевич
|9 490556
|
| 245 |
1 |
0 |
|a Построение множества всех достижимых реакций комбинационных схем
|c В. А. Провкин
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 6 назв.
|
| 653 |
|
|
|a ROBDD-графы
|
| 653 |
|
|
|a комбинационные логические схемы
|
| 653 |
|
|
|a КНФ разрешения
|
| 653 |
|
|
|a SAT-решатели
|
| 655 |
|
4 |
|a статьи в сборниках
|9 879352
|
| 773 |
0 |
|
|t Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.
|d Томск, 2022
|g С. 99-108
|k Труды Томского государственного университета ; т. 307 : Серия физико-математическая
|z 9785907572270
|w koha000902823
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926167
|
| 856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=926167
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 926167
|d 926167
|
| 039 |
|
|
|
