Пасічник, Володимир ВолодимировичЛенько, Василь Степанович2021-02-242021-02-242021Ленько В. C. Методи та засоби управління персональними знаннями в інтелектуальних системах : дисертація на здобуття наукового ступеня доктора філософії : 124 – системний аналіз (12 – Інформаційні технології) / Василь Степанович Ленько ; Міністерство освіти і науки України, Національний університет «Львівська політехніка». – Львів, 2020. – 151 с. – Бібліографія: с. 132–141 (106 назв).https://ena.lpnu.ua/handle/ntb/56148ukсистемний аналіззнаннялогікачислення конструкційCoqописова логікаонтологіяблокчейнрозподілена системаGitsystems analysisknowledgelogiccalculus of constructionsCoqdescription logicontologyblockchaindistributed systemGitМетоди та засоби управління персональними знаннями в інтелектуальних системахMethods and tools for personal knowledge management in intelligent systemsDissertation151510.6.16+004.89