Z. Grabowiecka
An Experiment on Mizar Adjectives with Visible Arguments
22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, Sep 1-4, 2020
Department of Computer Science, West University of Timisoara (org.)
