Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Igor Sinitsyn, Philip Andon (eds.) |
Proceedings of the 13th International Scientific and Practical Programming Conference, UkrPROG 2022, Kyiv, Ukraine, October 11-12, 2022. |
UkrPROG |
2023 |
DBLP BibTeX RDF |
|
1 | Olexandr Khimich, Aleksandr Popov 0004, Oleksii Chystiakov |
Effective Use of Sparse Matrices in Problems of Mathematical Modeling. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Viktor Shynkarenko, Anatoliy Doroshenko, Olena Yatsenko, Valentyn Raznosilin, Kostiantyn Halanin |
Data Stochastic Preprocessing for Sorting Algorithms. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Nykolay Sydorov |
Software Engineering Ecosystems. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Olha Zakharova |
Applying Description Logics with Concrete Domains to Solve the Problem of Semantic Web Services Discovery and Composition. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Nataliia O. Komleva, Svitlana Zinovatna, Vira Liubchenko, Oleksandr Komlevoi |
Engineering of Software Recommender Systems Based on a Neural Network with Multithreading. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Vasyl Gorbachuk, Serge Gavrylenko, Gennadii Golotsukov, Mykhailo Pustovoit |
Information Intermediaries for Digital Platforms. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Julia V. Rogushina, Anatoly Y. Gladun |
Use of Ontological Knowledge for Multi-Criteria Comparison of Complex Information Objects. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Julia Rogushina, Irina Grishanova |
Semantic Information Resources with a Complex Structure: Knowledge Representation, Scaling and Search Problems. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Dmytro Rahozin |
Massively Parallel Program Analysis Using Simulation of Graphics Processing Unit. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Volodymyr Shevchenko, Igor Sinitsyn, Viktor Shevchenko |
Improving Methods for Generating Encryption Keys Using Strange Attractors. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Oleg Pursky, Valery Kozlov, Tetyana Tomashevska, Volodymyr Dyvak, Nataliia Hordiiko, Mykola Sinitsky |
Computation Method of Quasi-Optimal Related Resources Distribution Between Automated Workstations in Local Corporative Networks. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Viktor Horbatiuk, Serhii Horbatiuk |
Methods of Detection of Http Attacks on a Smart Home Using the Algebraic Matching Method. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Stepan Potiyenko, Alexander Kolchin |
Generation of Multipurpose Formal Models from Legacy Code. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Olena Chebanyuk |
Multilingual Question-Driven Approach and Software System to Obtaining Information From Texts. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Stepan S. Shkilniak, Oksana Shkilniak |
First Order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and Equality. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Konul Dashdamirova |
Development of OLAP Based Decision Support System for Information Security Monitoring at National, Regional and Corporate Levels. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Dmytro Terletskyi, Sergey Yershov |
Conceptual Knowledge Extraction and Retrieval Within Decomposition of Classes and Objects. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Oleksandr Novytskyi |
The Concept and Evaluating of Big Data Quality in the Semantic Environment. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Alona Vitiuk, Anatoliy Doroshenko |
Software Package for Evaluation the Stereo Camera Calibration for 3D Reconstruction in Robotics Grasping System. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Yurii Luhovskyi |
Cloud Service for Electrocardiogram Registration for Using in Authentication. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Yana Lazorenko, Viktor Shevchenko, Igor Sinitsyn |
Identification of the Native Language of a Person. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Olena Ilina, Igor Sinitsyn, Olga Slabospitska |
Models, Methods and Technological Usage of Expert Knowledge Formalization for Strategic Decision Making under Deep Uncertainty. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Bohdan Bodak, Anatoliy Doroshenko |
Secure Authentication Model for Public Clients. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Oleksandr Nesterenko |
Computing Education & Technological Trends: a Systematic Review Study. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Bohdan Panchuk |
Flow-based Botnet Detection with AI Models. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Sergiy Pogorilyy, Pavlo Biletskyi |
Coreference Resolution Algorithm for Ukrainian-Language Texts Using Decision Trees. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Oleksandr Palagin, Kyrylo Malakhov, Vitalii Velychko, Tetiana Semykopna, Oleksandr Shchurov |
Hospital Information Smart-System for Hybrid E-Rehabilitation. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Valeriy Reznichenko, Inna Chystiakova |
Tabular Interpretation of the Temporal Description Logic LTLALC. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Larysa Katerynych, Nikita Sazonov |
Study on Approaches of Building an Interactive Map in Web Application. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Volodymyr Romanov, Hanna Antonova, Igor Galelyuka, Volodymyr Hrusha, Anna Kedych, Oleksandr Voronenko |
Creation of Applied Software and Methodical Support of a Wireless Sensor Network for Agriculture. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Oleksandr Palagin, Mykola Petrenko, Mykola Boyko |
Ontology-related Complex for Semantic Processing of Scientific Data. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Anatoliy Doroshenko, Mykhaylo Petryk, Dmytro Mykhalyk, Pavlo A. Ivanenko, Olena Yatsenko |
Automated Design of a Parallel Program for Modeling Intraparticle Diffusion and Adsorption in Heterogeneous Nanoporous Media. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Anna Litvin, Vitalii Velychko, Vladislav Kaverinskiy |
A New Approach to Automatic Ontology Generation from the Natural Language Texts with Complex Inflection Structures in the Dialogue Systems Development. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Nykolay Sydorov, Nika Sydorova |
Software Engineering and Big Data Software. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Maksym Ogurtsov |
Improved Friend-or-Foe Recognition Algorithm Development. |
UkrPROG |
2022 |
DBLP BibTeX RDF |
|
1 | Ivan Sergienko, Philip Andon (eds.) |
Proceedings of the 12th International Scientific and Practical Conference of Programming (UkrPROG 2020), Kyiv, Ukraine, September 15-16, 2020. |
UkrPROG |
2021 |
DBLP BibTeX RDF |
|
1 | Vasyl Gorbachuk, Serge Gavrylenko |
Вплив ціноутворення хмарних сервісів на прибуток провайдера, споживчий надлишок і суспільний добробут The Impact of Cloud Services Pricing on Provider Profit, Consumer Surplus, and Social Welfare. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Artem Kramov, Sergiy Pogorilyy |
Automated Methods of Coherence Evaluation of Ukrainian Texts Using Machine Learning Techniques. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Anatoliy Doroshenko, Oleksii Beketov, Mykola Bondarenko, Olena Yatsenko |
Автоматизоване проектування та розпаралелювання програм для гетерогенних платформ із використанням алгебро-алгоритмічного інструментарію Automated Design and Parallelization of Programs for Heterogeneous Platforms Using Algebra-Algorithmic Tools. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Alexandr Khimich, Volodymyr Sydoruk, Alla Nesterenko |
Hybrid Algorithm Newton Method for Solving Systems of Nonlinear Equations with Block Jacobi Matrix. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Tural Mamedov, Anatoliy Doroshenko, Ruslan Shevchenko |
Засіб статичного аналізу .NET програм за допомогою переписування правил Static Analysis of .NET Programs Using Rewriting Rules. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Alexander Novitskyi, Valeriy Reznichenko |
Модель інформаційного об'єкта для електронної бібліотеки та її верифікація Model of Information Object for Digital Library and its Verification. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Philip Andon, Julia Rogushina, Irina Grishanova, Valeriy Reznichenko, Alla Kyrydon, Alla Aristova, Andrew Tyschenko |
Досвід використання семантичних технологій для створення інтелектуальних веб-енциклопедій (на прикладі розробки порталу е-ВУЕ) Experience of the Semantic Technologies Use for Intelligent Web Encyclopedia Creation (on Example of the Great Ukrainian Encyclopedia Portal). |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Pavlo A. Ivanenko |
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил Analyzing Correctness of Auto-tuning Code Transformations with Rule Rewriting Systems. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Serhii M. Pryima, Oksana V. Strokan, Dmitro V. Lubko, Yuliya Lytvyn, Nadia Bilyk |
Development of the Information System for Semantic Identification and Documentation of the Results of Non-Formal and Informal Education. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Andrii Semenchenko, Valentyna Pleskach, Oleh Zaiarnyi, Mariia Pleskach |
Cyber Security and Cyber Protection: the Current State of Public Administration in Ukraine. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Hryhorii Hoherchak |
Knowledge Based and Description Logics Applications to Natural Language Texts Analysis. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Oleg Pursky, Tetyana Melnyk, Alexander Kharchenko, Volodymir Gamaliy, Tetyana O. Filimonova |
Elements of Concrete Algoritmics: Computability and Solvability. Web-based System for Regional Development Level Evaluation. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Nazar Tkach, Kirill Salata, Mykola Glybovets |
Побудова діагностичної експертно-медичної системи з використанням нейронних мереж Construction of Diagnostic Expert-medical System Using Neural Networks. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Larysa Katerynych, Maksym Veres, Eduard Safarov |
Neural Networks' Learning Process Acceleration. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Olexandr Balabanov |
Відтворення каузальних моделей з даних. Проблеми адекватності структур з прихованими причинами Causal Inference from Data. On Some Inadequacy Problems of Structures with Hidden Causes. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Philip Andon, Andrii Hlybovets, Volodymir Kuryliak |
Побудова семантичної моделі зображення з використанням машинного навчання на базі згорткових нейронних мереж Developing a Semantic Image Model Using Machine Learning Based on Convolutional Neural Networks. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Anatoliy Doroshenko, Vitalii Shpyg, Roman Kushnirenko |
Застосування машинного навчання для уточнення чисельних метеорологічних прогнозів Application of Machine Learning to Improving Numerical Weather Prediction. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Anatoliy Doroshenko, Eugene Tulika |
Оптимізація паралельних алгоритмів з використанням моделі акторів Parallel Algorithms Optimization Using Actor Model. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Oleksandr Palagin, Vitalii Velychko, Kyrylo Malakhov, Oleksandr Shchurov |
Distributional Semantic Modeling: a Revised Technique to Train Term/Word Vector Space Models Applying the Ontology-related Approach. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Sergii Kryvyi |
Криптосистема на основі абелевих груп і кілець Encryption System Based on Abelian Groups and Rings. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Serhei Pashko |
Про оптимальне керування в системі "хижак-жертва" About an Optimal Control for a "Predator-Prey" System. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Olena Chebanyuk, Oleksandr Palagin, Krassimir Markov |
Domain Engineering Approach of Software Requirements Analysis. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Julia Rogushina, Irina Grishanova |
Ontological Methods and Tools for Semantic Extension of the Media WIKI Technology. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Gulnara Nabibayova |
Decision Support System in Electronic Demography. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Serhii M. Pryima, Oksana V. Strokan, Julia V. Rogushina, Anatoly Y. Gladun, Andriy Mozgovenko |
Ontology-based Methods and Tools for Validation of Non-formal Learning Outcomes. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Oleksandr Provotar, Olga Provotar |
Elements of Concrete Algorithmics: Computability and Solvability. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Olga Zakharova |
Context WEB-services Matching in the Discovery Task Resolving. Ontological Approaches. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Nykolay Sydorov, Nika Sydorova, Eugen Sydorov |
Description Model of Programming Style Ecosystem. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Anna Litvin, Vitalii Velychko, Vladyslav Kaverynskyi |
Method of Information Obtaining from Ontology on the Basis of a Natural Language Phrase Analysis. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Alexander Kolchin, Stepan Potiyenko, Thomas Weigert |
Efficient Increasing of the Mutation Score During Model-Based Test Suite Generation. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Kostiantyn Zhereb |
Improving Performance of Python Code Using Rewriting Rules Technique. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Olexander Barmak, Eduard Manziuk, Oleg Kalyta, Iurii Krak, Vladislav A. Kuznetsov, Anatoliy Kulias |
Розпізнавання емоційних проявів за групуванням скупченостей характерних мімічних станів обличчя людини - Recognition of Emotional Expressions Using the Grouping Crowdings of Characteristic Mimic States. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak |
Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
1 | Sergiy Pogorilyy, Artem Kramov |
Автоматизована екстракція структурованої інформації з множини веб сторінок Automated extraction of structured information from a variety of web pages. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Olexander Barmak, Yuri Krak, Eduard Manziuk |
Характеристика для вибору моделей у ансамблі класифікаторів Characteristics for choice of models in the ansables classification. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Olexander I. Provotar, Olexander O. Provotar |
Достовірність нечіткості: теорія та застосування Credibility of fuzziness: theory and application. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Olga Ovdii |
Розширення системи синтезу програм з метою аналізу великих наборів даних Extension of the program synthesis system to analyze large data sets. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Oleksandr Popov, Olga Rudich, Oleksii Chystiakov |
Багаторівнева модель паралельних обчислень для задач лінійної алгебри Multi-level Model of Parallel Computing for Linear Algebra Problems. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Yuri Krak, Olexander Barmak, Olexander Mazurets |
Практична реалізація інформаційної технології автоматизованого визначення множини семантичних термінів в контенті навчальних матеріалів The practice implementation of the information technology for automated definition of semantic terms sets in the content of educational materials. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Iryna Glushko |
Про зв'язок між табличною алгеброю нескінченних таблиць та мультимножинною табличною алгеброю About relationship between table algebra of infinite tables and multiset table algebra. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Alexander Kolchin |
Interactive method for cumulative analysis of software formal models behavior. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Olena Chebanyuk |
Formal foundations for software model to model transformation operation. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Serhei Pashko |
Оптимальне розміщення багатосенсорної системи Optimal placement of a multi-sensor system. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Volodymyr Peschanenko, Maksym Poltorackiy |
Use of metods of algebraic programming for the formal verification of legal acts. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Serhii M. Pryima, Julia V. Rogushina, Oksana V. Strokan |
Use of semantic technologies in the process of recognizing the outcomes of non-formal and informal learning. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Viktor Shynkarenko, Petro Ilchenko, Hennadii Zabula |
Інструментальні засоби дослідження часової та функціональної ефективності біонічних алгоритмів розв'язку екстремальних задач Tools of investigation of time and functional efficiency of bionic algorithms for function optimization problems. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Inna Chystiakova |
Отображение реляционной алгебры в дескриптивную логику Mapping of the relational algebra to the description logic. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Sergii Kryvyi, Nataliia Darchuk, Aleksandr Provotar |
Онтологоподібні системи аналізу природномовних текстів Ontological similar systems for analysis of texts of natural language. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Mykola sovets, Ihor Shchetynin, Lilija Tovstenko |
Системные аспекты проектирования гарантоспособных облачных вычислений System aspects of design guaranteased cloud calculations. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Ruslan Shevchenko |
Числення контекстних термів для систем переписування Context term calculus for rewriting systems. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Yevhen Morentsov |
Система моделей предметної області «Метатехнологія програмування» The system of models of domain «Software Metatechnology». |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Rafik Grygoryan, Tetiana Aksenova, Anna Degoda |
Специализированный компьютерный симулятор «SimEnPhysiol» Specialised computer simulator "SimEnPhysiol". |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Oleksandr Palagin, Vitalii Velychko, Kyrylo Malakhov, Oleksandr Shchurov |
Research and development workstation environment: the new class of Current Research Information Systems. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Tetyana Gerasimova, Alla Nesterenko |
Паралельні алгоритми розв'язування систем нелінійних рівнянь та задач Коші для систем звичайних диференціальних рівнянь на багатоядерних комп'ютерах з процесорами Intel Xeon Phi Parallel algorithms for the solving both of non-linear systems and initial-value problems for systems of ordinary differential equations on multi-core computers with processors Intel Xeon Phi. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Olga Zakharova |
Специфікація процесу семантичної анотації Веб-сервісів Specification of the process of the semantic annotation the web services. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Ivan Sergienko, Philip Andon (eds.) |
Proceedings of the 11th International Conference of Programming UkrPROG 2018, Kyiv, Ukraine, May 22-24, 2018. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Valerii Zherebko, Oleg Pisarenko, Vitalii Drabynko |
Імітаційне моделювання та генетична оптимізація систем керування засобами програмування LabVIEW Simulation and genetic optimization of control systems by LabVIEW programming. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Julia Rogushina |
Моделі та методи використання онтологій у семантичному пошуку у web Models and Methods of Ontology Use for the Web Semantic search. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Anatoliy Doroshenko, Pavlo A. Ivanenko, Oleksandr Novak, Olena Yatsenko |
Автотюнінг паралельних програм із використанням статистичного моделювання та машинного навчання Parallel software auto-tuning using statistical modeling and machine learning. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Anatoliy Doroshenko, Volodymyr Shymkovych, Vladyslav Fedorenko |
Програмні засоби моделювання системи управління векторною тягою реактивного двигуна Software means of modeling of the vector type of reactive engine control system. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Olexandr Balabanov |
Класи каузальних структур, що ідентифікуються тестами простого формату On the classes of causal networks, identifiable by simple independence tests. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Iurii Kryvonos, Iurii Krak, Miroslav Lisniak, Anton Ternov |
Розробка архітектури програмного забезпечення для інтерактивного навчання жестовій мові (Software architectural design for the interactive learning of sign language). |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak |
Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspects. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|