LDR 01235naa#a2200193#i#450#
001     RU\VORONEZHSKIY GOSUDARSTVENNYY LESOTEHNICHESKIY UNIVERSITET IMENI G.F. MOROZOVA\bibl\6a9c155232807fdbab8687f0
005     20261029151002.4
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