000 01482nam0a2200313 i 4500
001 RU\NLR\BIBL_A\011437228
005 20240921131920.0
021 _aRU
_b2017-45678
_93297
035 _a(RuMoRGB)008917745
035 _a(NLR Aleph) 011437228
090 _a11681519
_c11681519
100 _a20170711d2017 k y0rusy50 ca
101 0 _arus
_deng
102 _aRU
105 _aa|||z|||000zy
200 1 _aЕдиничные проверяющие тесты для схем из функциональных элементов в базисе "конъюнкция-отрицание"
_fК.А. Попков
210 _aМосква
_cИПМ РАН
_d2017
215 _a31 с.
_cил.
_d21
225 1 _aПрепринт
_fИнститут прикладной математики имени М.В. Келдыша Российской академии наук
_v№ 30 за 2017 г.
_x2071-2898
225 1 _aПрепринты ИПМ им. М.В. Келдыша
_dKeldysh institute preprints
_fгл. ред.: Б.Н. Четверушкин, акад. РАН
_zeng
300 _aРез. на англ. яз.
320 _aБиблиогр.: с. 30-31 (19 назв.)
606 1 _aЛогические устройства
_xТестирование
_92470548
_3RU\NLR\AUTH\661467364
686 1 _aЗ973.2-077
700 1 _aПопков
_bК. А.
_gКирилл Андреевич
942 _cBOOK
980 _aNBR