Syntactic-Semantic Form of Mizar Articles.

Czeslaw Bylinski Artur Kornilowicz Adam Naumowicz

Published in: ITP (2021)

Keyphrases

syntactic semantic
computer assisted
real world
information systems
preprocessing
information technology
dependency parsing
databases
machine learning
decision making
image processing
website
case study
keywords
special case