Formalization of Scientific Researches Results in Corporate Knowledge Bases As a Tool of Their Accumulation | IEEE Conference Publication | IEEE Xplore