Методи та засоби управління персональними знаннями в інтелектуальних системах - Ленько, Василь Степанович (Національний університет "Львівська політехніка", 2021)
Methods and tools for personal knowledge management in intelligent systems
Keywords: системний аналіз; знання; логіка; числення конструкцій; Coq; описова логіка; онтологія; блокчейн; розподілена система; Git; systems analysis; knowledge; logic; calculus of constructions; Coq; description logic; ontology; blockchain; distributed system; Git; 510.6.16+004.89