Login / Signup

Reasoning about Feature Models in Higher-Order Logic.

Mikolás JanotaJoseph Kiniry
Published in: SPLC (2007)
Keyphrases
  • higher order logic
  • machine learning
  • artificial intelligence
  • higher order