Showing 1 - 2 results of 2 for search 'Artur Korniłowicz', query time: 0.02s
Refine Results
-
1
MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs by Dominik Tomaszuk, Łukasz Szeremeta, Artur Korniłowicz
Published 2023-11-01
Article -
2
Implementation of the Composition-nominative Approach to Program Formalization in Mizar by Ievgen Ivanov, Artur Kornilowicz, Mykola Nikitchenko
Published 2018-05-01
Article