Login / Signup

Function Definition in Higher-Order Logic.

Konrad Slind
Published in: TPHOLs (1996)
Keyphrases
  • higher order logic
  • higher order
  • theorem prover
  • conditional logic
  • pairwise
  • concept learning
  • expert systems
  • temporal reasoning
  • data representation
  • logical framework