Login / Signup

Proof Search with Set Variable Instantiation in the Calculus of Constructions.

Amy P. Felty
Published in: CADE (1996)
Keyphrases
  • proof search
  • semantic network
  • inference rules
  • theorem proving
  • proof procedure