Sign in
Λ-Symsym: An Interactive Tool for Playing with Involutions and Types.
Furio Honsell
Marina Lenisa
Ivan Scagnetto
Published in:
TYPES (2020)
Keyphrases
</>
machine learning
information retrieval
artificial intelligence
search engine
multimedia
image segmentation
three dimensional
special case