Sign in
The Construction of Set-Truncated Higher Inductive Types.
Niels van der Weide
Herman Geuvers
Published in:
MFPS (2019)
Keyphrases
</>
small number
genetic algorithm
decision making
case study
feature space
probability distribution
np complete
inductive logic programming