00870naa#a2200205#i#4500001001500000005001700015011001400032100004100046102000700087200013300094210013700227215001000364608002700374675010900401700003900510700003900549700003100588700003100619856001400650EN\\bibl\7615720241112235933.2##a2219-0767##a20240324b2024####ek#y0engy0150####ca##aRU1#aIncreasing formalization of tasks of verification of topology and electrical diagram for CAD-CAM design systemseJournal article1#aVoronezhcFSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozovd2024##a9 с.##aJournal article2local##aПрикладные информационные (компьютерные) технологии. 004.9#1aPoluektovgAleksandr Vladimirovich#1aZolnikovgKonstantin Vladimirovich#1aAchkasovgA. Vladimirovich#1aChevychelovgYu. Akimovich4#azh-szf.ru