00703naa#a2200181#i#450# EN\RIOR\bibl\55271 20241122003507.5 2308-0191 20221209b2022####ek#y0engy0150####ca RU FORMALIZATION FOUNDATIONS TO COMPUTER AUTOMATED LIFE CYCLE MANAGEMENT TECHNOLOGIES OF CONSTRUCTION FACILITIES Journal article Moscow Publishing Center RIOR 2022 4 с. Journal article local Строительство. Строительные материалы. Строительно-монтажные работы. 69 Losev Yuriy Grigor'evich Losev Konstantin Yur'evich riorpub.com