LDR 01165naa#a2200205#i#450#
001     RU\\bibl\76157
005     20241116121823.6
011 ## _a2219-0767
100 ## _a20240324b2024####ek#y0rusy0150####ca
102 ## _aRU
200 1# _aПовышение формализации задач верификации топологии и электрической схемы для систем автоматизированного проектирования
       _eЖурнальная статья
210 1# _aВоронеж
       _cВоронежский государственный лесотехнический университет имени Г.Ф. Морозова
       _d2024
215 ## _a9 с.
608 ## _aЖурнальная статья
       _2local
675 ## _aПрикладные информационные (компьютерные) технологии. 004.9
       _z
700 #1 _aПолуэктов
       _gАлександр Владимирович
700 #1 _aЗольников
       _gКонстантин Владимирович
700 #1 _aАчкасов
       _gАлександр Владимирович
700 #1 _aЧевычелов
       _gЮрий Акимович
856 4# _anaukaru.ru
       _u