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