This paper presents the extended processing of adjectives with visible arguments in the Mizar system. The proposed enhancement is compared with the current ...
確定! 回上一頁