Login / Signup
Reasoning about Feature Models in Higher-Order Logic.
Mikolás Janota
Joseph Kiniry
Published in:
SPLC (2007)
Keyphrases
</>
higher order logic
machine learning
artificial intelligence
higher order