Vasyl Lenko
Title
Cited by
Cited by
Year
Knowledge representation and formal reasoning in ontologies with Coq
V Lenko, V Pasichnyk, N Kunanets, Y Shcherbyna
International Conference on Computer Science, Engineering and Education …, 2018
42018
Knowledge representation MODELS
V Lenko, V Pasichnyk, Y Shcherbyna
Вісник Національного університету Львівська політехніка. Комп’ютерні науки …, 2017
12017
The Procedures of Processing of Geolocation Data on Urban Underground Spaces
O Matsiuk, N Kunanets, V Pasichnyk, V Lenko, Y Shcherbyna, ...
2019 9th International Conference on Advanced Computer Information …, 2019
2019
Decentralized Blockchain-based platform for collaboration in virtual scientific communities
V Lenko, N Kunanets, V Pasichnyk, Y Shcherbyna
ECONTECHMOD 8 (1), 21-26, 2019
2019
Type-Theoretical Foundations of the Derivation System in Coq
V Lenko, V Pasichnyk, N Kunanets, Y Shcherbyna
2018 IEEE First International Conference on System Analysis & Intelligent …, 2018
2018
Експертне оцінювання" розумності міста" із застосуванням нечіткої логіки
ДР Табачишин, ВС Ленько, НЕ Кунанець, ВВ Пасічник, ЮМ Щербина
Штучний інтелект, 2017
2017
Персональні бази даних та знань віртуальних дослідницьких спільнот
НЕ Кунанець, ВС Ленько, ВВ Пасічник, ЮМ Щербина
Науковий вісник НЛТУ України 27 (6), 2017
2017
Відновлення графічних образів за допомогою карт Кохонена
В Ленько, А Караба
Вісник Львівського університету. Серія: Прикладна математика та інформатика …, 2014
2014
Застосування методів штучного інтелекту до сегментації графічного образу
ВС Ленько, ЮМ Щербина
Видавництво Львівської політехніки, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–9