Login / Signup
Implementing More Explicit Definitional Expansions in Mizar (Short Paper).
Adam Grabowski
Artur Kornilowicz
Published in:
ITP (2023)
Keyphrases
</>
computer assisted
web services
question answering
efficient implementation
image processing
multimedia
special case
learning algorithm
artificial intelligence
high level
cooperative
user interface